Totally non-proper ordinals beyond L(V_ +1)

DOI10.1007/S00153-011-0232-0MaRDI QIDQ634770zbMATH OpenOpenAlexFDO

Authors Vincenzo Dimonte

Publication date 16 August 2011

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-011-0232-0

zbMATH Keywords

sharplarge cardinalspropernesselementary embeddingsrelative ordinal-definability

Mathematics Subject Classification ID

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

Recommendations

• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• scientific article; zbMATH DE number 4027456
• Non-closure of the image model and absence of fixed points
• The spectrum of elementary embeddings \(j: V \to V\)
• On elementary embeddings from an inner model to the universe

Cites work

• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• Coding lemmata in \(L(V_{\lambda+1})\)
• Descriptive set theory
• Elementary embeddings and infinitary combinatorics
• The weak ultrafilter axiom
• Tutorial outline: suitable extender sequences

Cited in

(11)

• I0 and rank-into-rank axioms
• Cofinality changes required for a large set of unapproachable ordinals below $\aleph _{\omega +1}$
• LD-algebras beyond I0
• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• Generic at
• Consistency of \(V= \text{HOD}\) with the wholeness axiom
• Implications of very large cardinals
• Undefinability of κ-well-orderings in L_∞κ
• Goodstein sequences for prominent ordinals up to the ordinal of \(\Pi^1_1\)-\(\mathrm{CA}_0\)
• scientific article; zbMATH DE number 4027456 (Why is no real title available?)
• The iterability hierarchy above \(\mathsf {I3}\)

This page was built for publication: Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q634770)