TY  - RPRT
TI  - Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers
AU  - Ur Ya'ar
PY  - 2021
UR  - https://arxiv.org/abs/2112.01074
ID  - 2112.01074
ER  -