When is a real generic over L?

In this paper we isolate a new criterion for when a given real x is generic over L in terms of being able to lift elementary embeddings of initial segments of L to L[x]$L[x]$.

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:Mathematical logic quarterly 2022-02, Vol.68 (1), p.27-31
Hauptverfasser: Castiblanco, Fabiana, Schindler, Ralf
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:In this paper we isolate a new criterion for when a given real x is generic over L in terms of being able to lift elementary embeddings of initial segments of L to L[x]$L[x]$.
ISSN:0942-5616
1521-3870
DOI:10.1002/malq.202100012