Models of set theory in which the separation theorem fails
From MaRDI portal
Publication:5033988
DOI10.1070/IM8937MaRDI QIDQ5033988
Kanovei, Vladimir, Vassily Lyubetsky
Publication date: 24 February 2022
Published in: Izvestiya: Mathematics (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1905.11241
Related Items (3)
On the ‘definability of definable’ problem of Alfred Tarski, Part II ⋮ Forcing the Σ31-separation property ⋮ A good lightface \(\varDelta_n^1\) well-ordering of the reals does not imply the existence of boldface \(\mathbf{\Delta}_{n - 1}^1\) well-orderings
Cites Work
- A definable \(E_0\) class containing no definable elements
- A countable definable set containing no definable elements
- Surrealist landscape with figures (a survey of recent results in set theory)
- Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
- Descriptive set theory
- Projective uniformization revisited
- Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
- Some consequences of the axiom of constructibility
- [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
- Iterated perfect-set forcing
- ON THE NONEMPTINESS OF CLASSES IN AXIOMATIC SET THEORY
- THE SET OF ALL ANALYTICALLY DEFINABLE SETS OF NATURAL NUMBERS CAN BE DEFINED ANALYTICALLY
- Determinateness and the separation property
- On non-wellfounded iterations of the perfect set forcing
- An Ulm-type classification theorem for equivalence relations in Solovay model
- Sur les fonctions implicites mesurables B
- Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
- DEFINABLE MINIMAL COLLAPSE FUNCTIONS AT ARBITRARY PROJECTIVE LEVELS
- Set Theory
- On the Leibniz–Mycielski axiom in set theory
- A Groszek‐Laver pair of undistinguishable ‐classes
- An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
- A model of second-order arithmetic satisfying AC but not DC
- Non-uniformizable sets with countable cross-sections on a given level of the projective hierarchy
- The axiom of determinateness and reduction principles in the analytical hierarchy
- SOME CONSEQUENCES OF THE AXIOM OF DEFINABLE DETERMINATENESS
- On the consistency of some propositions of the descriptive theory of sets
- Generalized Iteration of Forcing
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Models of set theory in which the separation theorem fails
