Sign in
Ur Ya'ar
ORCID
Publication Activity (10 Years)
Years Active: 2021-2024
Publications (10 Years): 3
Top Topics
Autoregressive
Statistical Model
High Level
Modal Logic
Top Venues
J. Symb. Log.
Ann. Pure Appl. Log.
</>
Publications
</>
Ur Ya'ar
Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers.
Ann. Pure Appl. Log.
175 (Issue 1, Part A) (2024)
Ur Ya'ar
Iterating the cofinality- Constructible Model.
J. Symb. Log.
88 (4) (2023)
Ur Ya'ar
The Modal Logic of -Centered forcing and Related forcing Classes.
J. Symb. Log.
86 (1) (2021)