THE ABC'S of Mice

DOI10.2307/2687795zbMath0994.03043OpenAlexW2142999449MaRDI QIDQ4328794

Ernest Schimmerling

Publication date: 29 April 2002

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

Full work available at URL: http://www.math.ucla.edu/~asl/bsl/0704-toc.htm

zbMATH Keywords

surveymicefine structureinner model theoryiterated sharps\(0\) sharp

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Inner models, including constructibility, ordinal definability, and core models (03E45)

Related Items (5)

On -Strongly Measurable Cardinals ⋮ The exact consistency strength of the generic absoluteness for the universally Baire sets ⋮ Coherent sequences and threads ⋮ Indefinite extensibility -- dialetheic style ⋮ Descriptive inner model theory

Cites Work

• Projectively well-ordered inner models
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: THE ABC'S of Mice