The largest countable inductive set is a mouse set

DOI10.2307/2586477zbMath0930.03059arXivmath/9609205OpenAlexW1977905610MaRDI QIDQ4262561

Mitch Rudominer

Publication date: 15 February 2000

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

inner modeldescriptive set theorydeterminacyWoodin cardinalsmouse setlargest countable inductive set of reals

Mathematics Subject Classification ID

Descriptive set theory (03E15) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)

Related Items (4)

Mouse sets ⋮ Inner model operators in \(L(\mathbb{R})\) ⋮ Descriptive inner model theory ⋮ The envelope of a pointclass under a local determinacy hypothesis

Cites Work

• Descriptive set theory
• Set theory. An introduction to independence proofs
• Unnamed Item

This page was built for publication: The largest countable inductive set is a mouse set