Ur Ya'Ar

Available identifiers

zbMath Open yaar.urMaRDI QIDQ5000253

List of research outcomes

Publication	Date of Publication	Type
ITERATING THE COFINALITY- CONSTRUCTIBLE MODEL	2023-12-22	Paper
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers	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	2021-07-12	Paper
The modal logic of $\sigma$-centered forcing and related forcing classes	2017-01-18	Paper
Models for short sequences of measures in the cofinality-$\omega$ constructible model	N/A	Paper

Research outcomes over time

This page was built for person: Ur Ya'Ar