:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Guzmán, Osvaldo, López-Callejas, Carlos
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2511.12736
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A rank function for Fra\"ıssé classes and the rank property
by: López-Callejas, Carlos, et al.
Published: (2026)

Diamond on Kurepa trees
by: Kostana, Ziemowit, et al.
Published: (2024)

No covering with nowhere dense \textsf{P}-sets in the Cohen model
by: Dow, Alan, et al.
Published: (2025)

Shelah Ultrafilters
by: Balderas, Emmanuel, et al.
Published: (2025)

Combinatorial properties of MAD families
by: Brendle, Jörg, et al.
Published: (2022)

Infinite trees
by: Goy, Alexandre
Published: (2025)

On Innovative Conditions of Diamond‐∝ Inequalities and Their Applications
by: Lütfi Akın, et al.
Published: (2025)

Ultrafilters in the random real model
by: Dow, Alan, et al.
Published: (2025)

Square-bracket operations clubs
by: Guzman, Osvaldo, et al.
Published: (2026)

Diamond principles and Tukey-top ultrafilters on a countable set
by: Benhamou, Tom, et al.
Published: (2024)

A Diamond Structure in the Transducer Hierarchy
by: Kaufmann, Noah
Published: (2021)

Bi-intermediate logics of trees and co-trees
by: Bezhanishvili, N., et al.
Published: (2022)

Forcing Diamond and Applications to Iterability
by: Mildenberger, Heike, et al.
Published: (2025)

Partition theorems for expanded trees
by: Shelah, Saharon
Published: (2021)

Characterizations of monadically dependent tree-ordered weakly sparse structures
by: Buffière, Hector, et al.
Published: (2026)

On ideals related to Laver and Miller trees
by: Cieślak, Aleksander, et al.
Published: (2023)

Scott spectral gaps for trees are bounded
by: Harrison-Trainor, Matthew, et al.
Published: (2026)

Snakes can be fooled into thinking they live in a tree
by: Bartholdi, Laurent, et al.
Published: (2024)

On describing trees and quasi-trees from their leaves
by: Courcelle, Bruno
Published: (2025)

The tree property on long intervals of regular cardinals
by: Cummings, James, et al.
Published: (2025)

A tree rewriting system for the Reflection Calculus
by: Santiago-Fernández, Sofía, et al.
Published: (2024)

Ultrapowers of determinacy models as iteration trees on HOD
by: Goldberg, Gabriel, et al.
Published: (2026)

Forcing Axioms and construction schemes
by: Chapital, Jorge Antonio Cruz, et al.
Published: (2025)

The special Aronszajn tree property at $\aleph_2$ and $GCH$
by: Asperó, David, et al.
Published: (2018)

Pathwise-random trees and models of second-order arithmetic
by: Barmpalias, George, et al.
Published: (2021)

The Category Dichotomy for Ideals
by: Dow, Alan, et al.
Published: (2025)

There are only countably many locally tabular bi-intermediate logics of co-trees
by: Martins, Miguel
Published: (2026)

Properties of Laver forcing associated with a co-ideal expressed via the Katetov order
by: la Rosa, Francisco Santiago Nieto-de, et al.
Published: (2026)

ODRL Policy Comparison Through Normalisation
by: Salas, Jaime Osvaldo, et al.
Published: (2026)

Diamond on ladder systems and countably metacompact topological spaces
by: Carvalho, Rodrigo, et al.
Published: (2023)

Projective Fraïssé limits of trees with confluent epimorphisms
by: Charatonik, Włodzimierz J., et al.
Published: (2023)

Universal wide Aronszajn tree
by: Kivimäki, Siiri
Published: (2025)

Growth and irreducibility in path-incompressible trees
by: Barmpalias, George, et al.
Published: (2022)

Sequent Calculi for Data-Aware Modal Logics
by: Areces, Carlos, et al.
Published: (2025)

How hard can it be? Quantifying MITRE attack campaigns with attack trees and cATM logic
by: Nicoletti, Stefano M., et al.
Published: (2024)

An ecumenical view of proof-theoretic semantics
by: Nascimento, Victor, et al.
Published: (2023)

Hyperfiniteness for group actions on trees
by: Elayavalli, Srivatsav Kunnawalkam, et al.
Published: (2023)

At the Edge of Putnam's Program: Limitative Results For Computable Inductive Logics
by: Mercier, Antoine, et al.
Published: (2026)

Bi-invariant types, reliably invariant types, and the comb tree property
by: Hanson, James E.
Published: (2023)

Evaluation and Comparison Semantics for ODRL
by: Salas, Jaime Osvaldo, et al.
Published: (2025)