Forcing, iterated ultrapowers, and turing degrees

The lecture notes in mathematical logic from the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Asian Initiative for Infinity (AII) Graduate Logic Summer School (VerfasserIn)
Weitere Verfasser:	Chong, Chi-tat (HerausgeberIn), Feng, Qi (HerausgeberIn), Slaman, Theodore Allen (HerausgeberIn), Woodin, W. Hugh (HerausgeberIn), Yang, Yue (HerausgeberIn), Slaman, Theodore A. (HerausgeberIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	New Jersey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei, Chennai World Scientific 2016
Schriftenreihe:	Lecture notes series / Institute for Mathematical Sciences, National University of Singapore vol. 29
Schlagworte:	Model theory > Forcing (Model theory) > Logic, Symbolic and mathematical > Unsolvability (Mathematical logic) > Konferenzschrift > Ultraprodukt > Turing-System
Online Zugang:	Inhaltsverzeichnis Inhaltstext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Keine Ergebnisse!