We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Absoluteness for the theory of the inner model constructed from finitely many cofinality quantifiers

Authors: Ur Ya'ar
Abstract: We prove that the theory of the models constructible using finitely many cofinality quantifiers - $C_{\lambda_{1},...,\lambda_{n}}^{*}$ and $C_{<\lambda_{1},...,<\lambda_{n}}^{*}$ for $\lambda_{1},...,\lambda_{n}$ regular cardinals - is set-forcing absolute under the assumption of class many Woodin cardinals, and is independent of the regular cardinals used. Towards this goal we prove some properties of the generic embedding induced from the stationary tower restricted to $<\mu$-closed sets.
Comments: 10 pages
Subjects: Logic (math.LO)
MSC classes: 03E45 (Primary) 03E47, 03E55, 03E57 (Secondary)
Cite as: arXiv:2112.01074 [math.LO]
  (or arXiv:2112.01074v1 [math.LO] for this version)

Submission history

From: Ur Ya'ar [view email]
[v1] Thu, 2 Dec 2021 09:28:55 GMT (13kb)

Link back to: arXiv, form interface, contact.