Cover Image

Results on Colored Tree Properties

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Day, Gabriel
Format:	Preprint
Published:	2025
Subjects:	Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On a question of Slaman and Steel
by: Day, Adam, et al.
Published: (2020)

Forcing Axioms for Proper Posets Preserving a Topological Property: Consistency Results
by: Gilton, Thomas
Published: (2025)

Some Results on Finitely Splitting Subtrees of Aronszajn Trees
by: Krueger, John
Published: (2024)

Non-Derivability Results in Polymorphic Dependent Type Theory
by: Geuvers, Herman
Published: (2026)

Some General Completeness Results for Propositionally Quantified Modal Logics
by: Ding, Yifeng, et al.
Published: (2024)

Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
by: Elad, Neta, et al.
Published: (2026)

Universal Horn Sentences and the Joint Embedding Property
by: Bodirsky, Manuel, et al.
Published: (2021)

Optimal Results on ITRM-recognizability
by: Carl, Merlin
Published: (2013)

The Open Coloring Axiom
by: Matos-Wiederhold, Tonatiuh
Published: (2022)

A Characterization Result for Non-Distributive Logics
by: Chrysafis, et al.
Published: (2020)

Colors of the Pseudotree
by: Chodounský, David, et al.
Published: (2025)

Goodstein at the Second Threshold: An Independence Result for $ID_2$
by: Gjetaj, Oriola, et al.
Published: (2026)

The Gluing Property
by: Hayut, Yair, et al.
Published: (2022)

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

Supercompact Measures and the Galvin Property
by: Benhamou, Tom, et al.
Published: (2025)

Merges of Smooth Classes and Their Properties
by: Bryant, Morgan
Published: (2024)

Combinatorial Properties of the Raisonnier Filter
by: Dialiatsis, Spyridon, et al.
Published: (2026)

Convergence Laws for Extensions of First-Order Logic with Averaging
by: Adam-Day, Sam, et al.
Published: (2025)

On products of ultrafilters
by: Goldberg, Gabriel
Published: (2021)

The uniqueness of elementary embeddings
by: Goldberg, Gabriel
Published: (2021)

Separability Properties of Monadically Dependent Graph Classes
by: Bonnet, Édouard, et al.
Published: (2025)

Properties preserved by classes of Chu transforms
by: Parente, Francesco
Published: (2024)

Saturation Properties of Ultrafilters in Canonical Inner Models
by: Benhamou, Tom
Published: (2022)

Generalized Decidability via Brouwer Trees
by: de Jong, Tom, et al.
Published: (2026)

An Intermediate Logic Contained in Medvedev's Logic with Disjunction Property
by: Chen, Zhicheng
Published: (2025)

Property B: A Baumgartner-style Property that Applies to Preservation of $\aleph_1$ and $\aleph_2$ under Iterations with Supports of Size $\aleph_1$
by: Džamonja, Mirna
Published: (2025)

Tree Rewriting Calculi for Strictly Positive Logics
by: Santiago-Fernández, Sofía, et al.
Published: (2025)

Querying Fault and Attack Trees: Property Specification on a Water Network
by: Nicoletti, Stefano M., et al.
Published: (2024)

Tree Properties at Successors of Singulars of Many Cofinalities
by: Adkisson, William
Published: (2025)

Measures that violate the Generalized Continuum Hypothesis
by: Benhamou, Tom, et al.
Published: (2025)

On $(Σ^2_1)^{uB}$ Absoluteness Between V and HOD
by: Goldberg, Gabriel, et al.
Published: (2025)

The Galvin property under the Ultrapower Axiom
by: Benhamou, Tom, et al.
Published: (2023)

No cardinal correct inner model elementarily embeds into the universe
by: Goldberg, Gabriel, et al.
Published: (2024)

Applications of the Magidor Iteration to Ultrafilter Theory
by: Benhamou, Tom, et al.
Published: (2024)

Three surprising instances of dividing
by: Conant, Gabriel, et al.
Published: (2023)

Corrigendum & Addendum to "Categoricity-like Properties in the First Order Realm"
by: Enayat, Ali, et al.
Published: (2026)

Tameness Properties in Multiplicative Valued Difference Fields with Lift and Section
by: Kesting, Christoph
Published: (2024)

Iterated Priority Arguments in Descriptive Set Theory
by: Day, Adam, et al.
Published: (2022)

The Unification Type of an Equational Theory May Depend on the Instantiation Preorder: From Results for Single Theories to Results for Classes of Theories
by: Baader, Franz, et al.
Published: (2026)

Relational Algebraic Approach to the Real Numbers: The Least-Upper-Bound Property
by: Winter, Michael
Published: (2023)