The real core model and its scales

DOI10.1016/0168-0072(94)00023-VzbMath0828.03025MaRDI QIDQ1892098

Daniel W. Cunningham

Publication date: 12 December 1995

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

zbMATH Keywords

dependent choiceaxiom of determinacycore model over the realsreal mousescale property

Mathematics Subject Classification ID

Consistency and independence results (03E35) Models of arithmetic and set theory (03C62) Determinacy principles (03E60)

Related Items

A covering lemma for \(K(\mathbb{R})\), Scales of minimal complexity in \({K(\mathbb{R})}\), The axiom of determinacy implies dependent choice in mice, On forcing over \(L(\mathbb{R})\), Inner model operators in \(L(\mathbb{R})\), A strong partition cardinal above \(\varTheta \), Strong partition cardinals and determinacy in \(K(\mathbb R)\), Is there a set of reals not in \(K(\mathbb{R})\)?, The fine structure of real mice

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Descriptive set theory
• Set theory. An introduction to independence proofs
• The axiom of constructibility. A guide for the mathematician
• Is there a set of reals not in \(K(\mathbb{R})\)?
• An extension of Borel determinacy
• The equivalence of determinacy and iterated sharps
• Scales in K(ℝ) at the end of a weak gap
• The axiom of determinacy implies dependent choices in L(R)
• The core model
• On the Cardinality of $$ \sum_2^1 $$ Sets of Reals
• Measurable cardinals and analytic games
• The fine structure of the constructible hierarchy