A long pseudo-comparison of premice in \(L[x]\)

DOI10.1215/00294527-2018-0012zbMath1455.03066arXiv1510.01724OpenAlexW3103074787MaRDI QIDQ1633899

Farmer Schlutzenberg

Publication date: 21 December 2018

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

comparisoninner modelordinal definable

Mathematics Subject Classification ID

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

Related Items (3)

Iterability for (transfinite) stacks ⋮ Reinhardt cardinals and iterates of \(V\) ⋮ The definability of \(\mathbb{E}\) in self-iterable mice

Cites Work

• Unnamed Item
• Unnamed Item
• Hod mice and the Mouse Set Conjecture
• An Outline of Inner Model Theory
• Large Cardinals from Determinacy
• HOD^L(ℝ) is a Core Model Below Θ
• HODas a core model

This page was built for publication: A long pseudo-comparison of premice in \(L[x]\)