## 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]] - [[Ya'ar - Iterated club shooting and the stationary-logic constructible model|Iterated club shooting and the stationary-logic constructible model]], *Journal of Mathematical Logic*, 2550022, 2025. [doi:10.1142/S0219061325500229](https://doi.org/10.1142/S0219061325500229) [arXiv](https://arxiv.org/abs/2209.10247) [[Iterated club shooting and the stationary-logic constructible model.pdf|author's copy]] - [[Ya'ar - Models for short sequences of measures in the cofinality-ω constructible model|Models for short sequences of measures in the cofinality-ω constructible model]]. *Annals of Pure and Applied Logic*, vol. 177, no. 9, p. 103777, 2026. [doi: 10.1016/j.apal.2026.103777](https://doi.org/10.1016/j.apal.2026.103777), [arXiv](https://arxiv.org/abs/2109.04523) [[Models for short sequences of measures.pdf|author's copy]] ## Pre-prints - [[Väänänen, Ya'ar - Inner models from extended logics and the Delta-operation]]. [arXiv](https://arxiv.org/abs/2508.07892) [[Inner models from extended logics and the Delta-operation.pdf|author's copy]] ## In preparation - Gabriel Goldberg, Paul Larson, Menachem Magidor, Otto Rajala, Ralf Schindler, John Steel, Jouko Väänänen, Trevor Wilson and Ur Ya’ar, **Cofinality models**. - Assaf Rinot and Ur Ya’ar, **The chromatic quantifier**. - Jouko Väänänen and Ur Ya’ar, **On the adequacy to truth of stationary logic**.