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

We prove that the theory of the models constructible using finitely many cofinality quantifiers - C & lowast;(lambda 1,...,lambda n) and C & lowast;(-closed sets.(c) 2023 Elsevier B.V. All rights reserved.

Automated summary

We have proved the theory of constructing models using finitely many cofinality quantifiers - C*(lambda 1,...,lambda n) and C*(-closed sets.