Ur Ya'Ar
From MaRDI portal
Person:5000253
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL Journal of Symbolic Logic | 2023-12-22 | Paper |
| Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers Annals of Pure and Applied Logic | 2023-10-12 | Paper |
| Iterated club shooting and the stationary-logic constructible model | 2022-09-21 | Paper |
| THE MODAL LOGIC OF -CENTERED FORCING AND RELATED FORCING CLASSES Journal of Symbolic Logic | 2021-07-12 | Paper |
| The modal logic of $\sigma$-centered forcing and related forcing classes (available as arXiv preprint) | 2017-01-18 | Paper |
| Models for short sequences of measures in the cofinality-$\omega$ constructible model (available as arXiv preprint) | N/A | Paper |
Research outcomes over time
This page was built for person: Ur Ya'Ar
