arXiv Open Access 2025

Higher Solovay Models

Cesare Straffelini Sebastiano Thei

Lihat Sumber

Abstrak

We introduce an axiomatisation of when a model of the form $L(V_{κ+1})^M$ can be considered a ``$κ$-Solovay model''; we show a characterisation of $κ$-Solovay models; and we prove elementary equivalences between $κ$-Solovay models.

Topik & Kata Kunci

math.LO

Penulis (2)

Cesare Straffelini

Sebastiano Thei

Format Sitasi

APA MLA BibTeX

Straffelini, C., Thei, S. (2025). Higher Solovay Models. https://arxiv.org/abs/2507.19129

Akses Cepat

Lihat di Sumber

Informasi Jurnal

Tahun Terbit: 2025
Bahasa: en
Sumber Database: arXiv
Akses: Open Access ✓