## Publications - [[Ya’ar - The modal logic of σ-centered forcing and related forcing classes|The modal logic of σ-centered forcing and related forcing classes]], *The Journal of Symbolic Logic*, 86(1): 1–24, 2021. [doi:10.1017/jsl.2019.41](https://doi.org/10.1017/jsl.2019.41) [arXiv](https://arxiv.org/abs/1701.05036) [[Modal logic of sigma-centered forcing.pdf|author's copy]] - [[Ya’ar - Iterating the cofinality-ω constructible model|Iterating the cofinality-ω constructible model]], _The Journal of Symbolic Logic,_ 1-10, 2023. [doi:10.1017/jsl.2022.93](https://doi.org/10.1017/jsl.2022.93) [arXiv](https://arxiv.org/abs/2109.05840) [[Iterating the cofinality-omega constructible model.pdf|author's copy]] - [[Ya’ar - Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers|Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers]], *Annals of Pure and Applied Logic*, 175.1, 2024. [doi:10.1016/j.apal.2023.103358](https://doi.org/10.1016/j.apal.2023.103358) [arXiv](https://arxiv.org/abs/2112.01074) [[Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.pdf|author's copy]] %% ## To appear %% ## Pre-prints - [[Ya'ar - Models for short sequences of measures in the cofinality-ω constructible model|Models for short sequences of measures in the cofinality-ω constructible model]]. [arXiv](https://arxiv.org/abs/2109.04523) [[Models for short sequences of measures.pdf|author's copy]] - [[Ya'ar - Iterated club shooting and the stationary-logic constructible model|Iterated club shooting and the stationary-logic constructible model]]. [arXiv](https://arxiv.org/abs/2209.10247) [[Iterated club shooting and the stationary-logic constructible model.pdf|author's copy]] - [[Väänänen, Ya'ar - Inner models from extended logics and the Δ-operation]], [preprint](https://www.mv.helsinki.fi/home/jvaanane/Vaananen_Yaar_2024.pdf) ## In preparation - Gabriel Goldberg, Paul Larson, Menachem Magidor, Ralf Schindler, John Steel, Jouko Väänänen, Trevor Wilson,and Ur Ya’ar, **Cofinality models** (In preparation). - Assaf Rinot and Ur Ya’ar, **The chromatic quantifier** (In preparation). - Jouko Väänänen and Ur Ya’ar, **On the adequacy to truth of stationary logic** (In preparation).