Forcing, Iterated Ultrapowers, And Turing Degrees Forcing, Iterated Ultrapowers, And Turing Degrees
    • ¥4,400

発行者による作品情報

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

ジャンル
科学/自然
発売日
2015年
7月30日
言語
EN
英語
ページ数
184
ページ
発行者
World Scientific Publishing Company
販売元
Ingram DV LLC
サイズ
7.6
MB
Proof Theory Proof Theory
2013年
Mathematical Logic and Theoretical Computer Science Mathematical Logic and Theoretical Computer Science
2020年
Beyond First Order Model Theory, Volume I Beyond First Order Model Theory, Volume I
2017年
Logic and Algebra Logic and Algebra
2017年
Calkin Algebras and Algebras of Operators on Banach Spaces Calkin Algebras and Algebras of Operators on Banach Spaces
2017年
Advances in Algebra and Model Theory Advances in Algebra and Model Theory
2019年
Notes On Forcing Axioms Notes On Forcing Axioms
2013年
Infinity And Truth Infinity And Truth
2013年
Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles Slicing The Truth: On The Computable And Reverse Mathematics Of Combinatorial Principles
2014年
E-Recursion, Forcing and C*-Algebras E-Recursion, Forcing and C*-Algebras
2014年
Modular Representation Theory Of Finite And P-adic Groups Modular Representation Theory Of Finite And P-adic Groups
2015年
Geometric Analysis Around Scalar Curvatures Geometric Analysis Around Scalar Curvatures
2016年
Mathemusical Conversations: Mathematics And Computation In Music Performance And Composition Mathemusical Conversations: Mathematics And Computation In Music Performance And Composition
2016年
Sets And Computations Sets And Computations
2017年
White Noise Analysis And Quantum Information White Noise Analysis And Quantum Information
2017年
Combinatorial and Toric Homotopy Combinatorial and Toric Homotopy
2017年