Generic at

DOI10.1002/malq.201700058zbMath1437.03147arXiv1609.07970OpenAlexW2800762662MaRDI QIDQ5109214

Vincenzo Dimonte

Publication date: 11 May 2020

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Other combinatorial set theory (03E05)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A general tool for consistency results related to I1
• A partially non-proper ordinal beyond \(L(V_{\lambda +1})\)
• Totally non-proper ordinals beyond \(L(V_{\lambda +1})\)
• Jonsson algebras in successor cardinals
• PCF arithmetic without and with choice
• Successors of singular cardinals and measurability
• Reflection of elementary embedding axioms on the \(L[V_{\lambda+1}\) hierarchy]
• Coding lemmata in \(L(V_{\lambda+1})\)
• Rank-into-rank hypotheses and the failure of GCH
• SUITABLE EXTENDER MODELS II: BEYOND ω-HUGE
• SUITABLE EXTENDER MODELS I
• On the structure of set-mappings
• AXIOM I₀ AND HIGHER DEGREE THEORY
• Large Cardinals and Strong Model Theoretic Transfer Properties
• On ideals of sets and the power set operation

This page was built for publication: Generic at