Models of set theory in which the separation theorem fails

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

zbMATH Keywords

iteration models separability Jensen forcing

Mathematics Subject Classification ID

Descriptive set theory (03E15) Consistency and independence results (03E35)

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