Turing Determinacy and Suslin sets

Turing Determinacy and Suslin sets

The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevailing conjecture is that these two determinacy hypoth...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Veröffentlicht in:New Zealand journal of mathematics 2022-05, Vol.52, p.845-863
1. Verfasser: Woodin, W Hugh
Format: Artikel
Sprache:eng
Online-Zugang:Volltext
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Zusammenfassung:The relationship between the Axiom of Determinacy (AD) and the Axiom of Turing Determinacy has been open for over 50 years, and the attempts to understand that relationship has had a profound influence on Set Theory in a variety of ways. The prevailing conjecture is that these two determinacy hypotheses are actually equivalent, and the main theorem of this paper is that Turing Determinacy implies that every Suslin set is determined.
ISSN:1179-4984
1179-4984
DOI:10.53733/140