Mouse sets

DOI10.1016/S0168-0072(97)89645-5zbMath0952.03058arXivmath/9606207OpenAlexW4213188699MaRDI QIDQ1364547

Mitch Rudominer

Publication date: 11 January 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

large cardinalsdescriptive set theoryinner model theorydefinable set of realsmouse set

Mathematics Subject Classification ID

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

Related Items (2)

An undecidable extension of Morley's theorem on the number of countable models ⋮ Inner model operators in \(L(\mathbb{R})\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Inner models with many Woodin cardinals
• Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
• Countable ordinals and the analytical hierarchy
• Projectively well-ordered inner models
• Supercompact cardinals, sets of reals, and weakly homogeneous trees
• The Theory of Countable Analytical Sets
• The largest countable inductive set is a mouse set
• Iteration Trees
• Measure and category in effective descriptive set theory
• Core models with more Woodin cardinals

This page was built for publication: Mouse sets