Karagila, Lecture Notes: Forcing & Symmetric Extensions , found online at https://karagila.org/files/Forcing-2023.pdf, unpublished (2023)

· 2023

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

math.LO · 2025-07-25 · unverdicted · novelty 5.0

Introduces axiomatization and characterization of κ-Solovay models of the form L(V_{κ+1})^M and proves elementary equivalences between such models.

Showing 1 of 1 citing paper.

Higher Solovay Models math.LO · 2025-07-25 · unverdicted · none · ref 16
Introduces axiomatization and characterization of κ-Solovay models of the form L(V_{κ+1})^M and proves elementary equivalences between such models.