Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

DOI10.1016/J.APAL.2023.103358arXiv2112.01074OpenAlexW3217083365MaRDI QIDQ6050169

Ur Ya'Ar

Publication date: 12 October 2023

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

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

zbMATH Keywords

inner modelsgeneric absolutenessWoodin cardinalstationary towercofinality logic

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Generic absoluteness and forcing axioms (03E57) Other notions of set-theoretic definability (03E47)

Cites Work

• Unnamed Item
• Large cardinals and definable counterexamples to the continuum hypothesis
• Ideals and Generic Elementary Embeddings
• Inner models from extended logics: Part 1

This page was built for publication: Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers