A Mathias criterion for the Magidor iteration of Prikry forcings

We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Archive for mathematical logic 2024-02, Vol.63 (1-2), p.119-134
1. Verfasser:	Ben-Neria, Omer
Format:	Artikel
Sprache:	eng
Schlagworte:	Algebra Criteria Mathematical Logic and Foundations Mathematics Mathematics and Statistics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:	We prove a Mathias-type criterion for the Magidor iteration of Prikry forcings.
ISSN:	0933-5846 1432-0665
DOI:	10.1007/s00153-023-00887-1