2 papers
math.LO2026
Iterated club shooting and the stationary-logic constructible model
Ur Ya'ar
We investigate iterating the construction of , the -like inner model constructed using stationary-logic. We show that it is possible to force over generic extens…
math.LO2026
Inner models from extended logics and the Delta-operation
Jouko Väänänen, Ur Ya'ar
If is an abstract logic (a.k.a. model theoretic logic), we can define the inner model by replacing first order logic with in Gödel's d…