Forcing, Iterated Ultrapowers, And Turing Degrees Forcing, Iterated Ultrapowers, And Turing Degrees
Lecture Notes Series, Institute for Mathematical Sciences, National University of Singapore

Forcing, Iterated Ultrapowers, And Turing Degrees

Chitat Chong والمزيد
    • ‏35٫99 US$
    • ‏35٫99 US$

وصف الناشر

This volume presents the lecture notes of short courses given by three leading experts in mathematical logic at the 2010 and 2011 Asian Initiative for Infinity Logic Summer Schools. The major topics covered set theory and recursion theory, with particular emphasis on forcing, inner model theory and Turing degrees, offering a wide overview of ideas and techniques introduced in contemporary research in the field of mathematical logic.
Contents:Prikry-Type Forcings and a Forcing with Short Extenders (Moti Gitik)The Turing Degrees: An Introduction (Richard A Shore)An Introduction to Iterated Ultrapowers (John Steel)
Readership: Graduate students in mathematics, and researchers in logic, set theory and computability theory.
Key Features:These are notes based on short courses given by three leading experts in set theory, recursion theory and their applications

النوع
علم وطبيعة
تاريخ النشر
٢٠١٥
٣٠ يوليو
اللغة
EN
الإنجليزية
عدد الصفحات
١٨٤
الناشر
World Scientific Publishing Company
البائع
Ingram DV LLC
الحجم
٧٫٦
‫م.ب.‬
Appalachian Set Theory Appalachian Set Theory
٢٠١٢
Ordinal Definability and Recursion Theory Ordinal Definability and Recursion Theory
٢٠١٥
Proof Theory Proof Theory
٢٠١٣
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
٢٠٢٠
Lectures on Infinitary Model Theory Lectures on Infinitary Model Theory
٢٠١٦
Beyond First Order Model Theory, Volume I Beyond First Order Model Theory, Volume I
٢٠١٧
Infinity And Truth Infinity And Truth
٢٠١٣
E-Recursion, Forcing and C*-Algebras E-Recursion, Forcing and C*-Algebras
٢٠١٤
Notes On Forcing Axioms Notes On Forcing Axioms
٢٠١٣
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
٢٠١٤
Modular Representation Theory Of Finite And P-adic Groups Modular Representation Theory Of Finite And P-adic Groups
٢٠١٥
Geometric Analysis Around Scalar Curvatures Geometric Analysis Around Scalar Curvatures
٢٠١٦
Mathemusical Conversations: Mathematics And Computation In Music Performance And Composition Mathemusical Conversations: Mathematics And Computation In Music Performance And Composition
٢٠١٦
Sets And Computations Sets And Computations
٢٠١٧
White Noise Analysis And Quantum Information White Noise Analysis And Quantum Information
٢٠١٧
Combinatorial and Toric Homotopy Combinatorial and Toric Homotopy
٢٠١٧