On the consistency of the Definable Tree Property on ℵ1

DOI10.2307/2586696zbMath0968.03058arXivmath/0005208OpenAlexW2089627360MaRDI QIDQ4527920

Amir Leshem

Publication date: 29 January 2001

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/0005208

zbMATH Keywords

consistencydefinable tree property

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Continuum hypothesis and Martin's axiom (03E50) Other combinatorial set theory (03E05)

Related Items (5)

Partition properties for simply definable colourings ⋮ The relative strengths of fragments of Martin's axiom ⋮ ZFC PROVES THAT THE CLASS OF ORDINALS IS NOT WEAKLY COMPACT FOR DEFINABLE CLASSES ⋮ The definable tree property for successors of cardinals ⋮ 2004 Summer Meeting of the Association for Symbolic Logic

Cites Work

• On the standard part of nonstandard models of set theory

This page was built for publication: On the consistency of the Definable Tree Property on ℵ₁