ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL

DOI10.1017/JSL.2022.93arXiv2109.05840OpenAlexW4313578365MaRDI QIDQ6140190

Ur Ya'Ar

Publication date: 22 December 2023

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

measurable cardinalinner modelscofinality logicnamba forcing

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Iterating ordinal definability
• Iterated ultrapowers and prikry forcing
• Transfinite descending sequences of models HODα
• On the sequence of models $HOD_n$
• Forcing with trees and ordinal definability
• Generalized Quantifiers and Compact Logic
• Inner models from extended logics: Part 1
• Consistency results about ordinal definability
• On sequences generic in the sense of Prikry

This page was built for publication: ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL