Forcing, Iterated Ultrapowers, And Turing Degrees More Books Like This
Appalachian Set Theory
2012
Ordinal Definability and Recursion Theory
2015
Proof Theory
2013
Mathematical Logic and Theoretical Computer Science
2020
Lectures on Infinitary Model Theory
2016
Beyond First Order Model Theory, Volume I
2017
A Guide to NIP Theories
2015
Ordered Sets
2006
Logic and Algebra
2017
Set Theory
2006
Cardinal Invariants on Boolean Algebras
2010
Standard Monomial Theory
2007
Computable Structures and the Hyperarithmetical Hierarchy
2000
Set Theory
2011
Tensor Products of C*-Algebras and Operator Spaces
2020