On Russell typicality in set theory

DOI10.1090/proc/16232OpenAlexW3211485016MaRDI QIDQ5880254

Kanovei, Vladimir, Vassily Lyubetsky

Publication date: 7 March 2023

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Generalization of one construction by Solovay
• Algebraicity and implicit definability in set theory
• A definable \(E_0\) class containing no definable elements
• A countable definable set containing no definable elements
• Counterexamples to countable-section \(\varPi_2^1\) uniformization and \(\varPi_3^1\) separation
• Intermediate submodels and generic extensions in set theory
• A generic property of the Solovay set \(\Sigma\)
• Countable OD sets of reals belong to the ground model
• Ehrenfeucht's lemma in set theory
• Typicality à la Russell in set theory
• A model of set-theory in which every set of reals is Lebesgue measurable
• Definable \(\mathsf{E}_0\) classes at arbitrary projective levels
• [https://portal.mardi4nfdi.de/wiki/Publication:3328537 A Minimal Model for � CH: Iteration of Jensen's Reals]
• Non-uniformizable sets of second projective level with countable cross-sections in the form of Vitali classes
• Borel OD sets of reals are OD-Borel in some simple models
• Set Theory
• On the Leibniz–Mycielski axiom in set theory
• On the ‘definability of definable’ problem of Alfred Tarski, Part II
• A Groszek‐Laver pair of undistinguishable ‐classes
• Definable Hamel bases and ${\sf AC}_\omega ({\mathbb R})$
• An unpublished theorem of Solovay on OD partitions of reals into two non-OD parts, revisited
• The axiomatization of randomness
• THE IMPLICITLY CONSTRUCTIBLE UNIVERSE
• A model of second-order arithmetic satisfying AC but not DC
• Russell's typicality as another randomness notion