6 papers
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 de…
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…
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers
Ur Ya'ar
We prove that the theory of the models constructible using finitely many cofinality quantifiers - and for re…
Iterating the cofinality- constructible model
Ur Ya'ar
We investigate iterating the construction of , the -like inner model constructed using first order logic augmented with the "cofinality " quantifier. We first show tha…
Models for short sequences of measures in the cofinality- constructible model
Ur Ya'ar
We investigate the relation between , the model of sets constructible using first order logic augmented with the "cofinality-" quantifier, and "short" sequences of measur…
The modal logic of -centered forcing and related forcing classes
Ur Ya'ar
We consider the modality " is true in every -centered forcing extension", denoted , and its dual " is true in some -centered forcing extension", denoted $\loz…