
TL;DR
This paper demonstrates the consistency of almost Souslin Kurepa trees within ZFC and proves their existence in the constructible universe L, addressing open questions in set theory.
Contribution
It establishes the consistency and existence of almost Souslin Kurepa trees in ZFC and L, resolving two questions posed by Zakrzewski.
Findings
Almost Souslin Kurepa trees are consistent with ZFC.
Such trees exist in the constructible universe L.
Answers two open questions in set theory.
Abstract
We show that the existence of an almost Souslin Kurepa tree is consistent with . We also prove their existence in . These results answer two questions from Zakrzewski.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsAdvanced Topology and Set Theory · semigroups and automata theory · Computability, Logic, AI Algorithms
