Iterated club shooting and the stationary-logic constructible model

MaRDI QIDQ6411463zbMATH OpenFDO

Authors Ur Ya'Ar

Publication date 21 September 2022

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(mathttaa)$, the $L$-like inner model constructed using the so-called "stationary-logic". We show that it is possible to force over generic extensions of $L$ to obtain a model of $V=C(mathttaa)$, and to obtain models in which the sequence of iterated $C(mathttaa)$s is decreasing of arbitrarily large order types. For this we prove distributivity and stationary-set preservation properties for countable iterations of club-shooting forcings using mutually stationary sets, and introduce the notion of mutually fat sets which yields better distributivity results even for uncountable iterations.

This page was built for publication: Iterated club shooting and the stationary-logic constructible model

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