ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL

DOI10.1017/JSL.2022.93MaRDI QIDQ6140190zbMATH OpenOpenAlexFDO

Authors Ur Ya'Ar

Publication date 22 December 2023

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

cofinality logicinner modelsmeasurable cardinalnamba forcing

Mathematics Subject Classification ID

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

Abstract: We investigate iterating the construction of $C^{\ast }$, the $L$-like inner model constructed using first order logic augmented with the "cofinality $omega$" quantifier. We first show that $left(C^{\ast }ight{)}^{C^{\ast }}=C^{\ast }eL$ is equiconsistent with ZFC, as well as having finite strictly decreasing sequences of iterated $C^{\ast }$s. We then show that in models of the form $L^{mu}$ we get infinite decreasing sequences of length $omega$, and that an inner model with a measurable cardinal is required for that.

Cites work

• Consistency results about ordinal definability
• Forcing with trees and ordinal definability
• Generalized Quantifiers and Compact Logic
• scientific article; zbMATH DE number 3557791 (Why is no real title available?)
• scientific article; zbMATH DE number 3450199 (Why is no real title available?)
• scientific article; zbMATH DE number 3358472 (Why is no real title available?)
• Inner models from extended logics. I
• Iterated ultrapowers and prikry forcing
• Iterating ordinal definability
• On sequences generic in the sense of Prikry
• On the sequence of models HOD_n
• Transfinite descending sequences of models HODα

Cited in

(2)

• Constructing -stable structures: Model completeness.
• Models for short sequences of measures in the cofinality- constructible model

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

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