Displaying similar documents to “On the metamathematics of impredicative set theory”

Rudin's Dowker space in the extension with a Suslin tree

Teruyuki Yorioka (2008)

Fundamenta Mathematicae

Similarity:

We introduce a generalization of a Dowker space constructed from a Suslin tree by Mary Ellen Rudin, and the rectangle refining property for forcing notions, which modifies the one for partitions due to Paul B. Larson and Stevo Todorčević and is stronger than the countable chain condition. It is proved that Martin's Axiom for forcing notions with the rectangle refining property implies that every generalized Rudin space constructed from Aronszajn trees is non-Dowker, and that the same...

The Tree Property at ω₂ and Bounded Forcing Axioms

Sy-David Friedman, Víctor Torres-Pérez (2015)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We prove that the Tree Property at ω₂ together with BPFA is equiconsistent with the existence of a weakly compact reflecting cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a weakly compact cardinal. Similarly, we show that the Special Tree Property for ω₂ together with BPFA is equiconsistent with the existence of a reflecting Mahlo cardinal, and if BPFA is replaced by BPFA(ω₁) then it is equiconsistent with the existence of just a Mahlo...

A tree axiom.

Kurepa, Đuro (1985)

Publications de l'Institut Mathématique. Nouvelle Série

Similarity:

On A-Trees

Đuro Kurepa (1968)

Publications de l'Institut Mathématique

Similarity: