Forcing, Iterated Ultrapowers, And Turing Degrees More Books Like This
Proof Theory
2013
Mathematical Logic and Theoretical Computer Science
2020
Beyond First Order Model Theory, Volume I
2017
Logic and Algebra
2017
Computable Structures and the Hyperarithmetical Hierarchy
2000
Set Theory
2011
Calkin Algebras and Algebras of Operators on Banach Spaces
2017
Advances in Algebra and Model Theory
2019
Regular Sequences and Resultants
2001
Representation Theory of Symmetric Groups
2017
Measure Theory and Integration
2018
Fundamentals of Mathematical Logic
2018
Analysis on Fock Spaces and Mathematical Theory of Quantum Fields
2017
Zeta Functions of Reductive Groups and Their Zeros
2018
Complexity, Logic, and Recursion Theory
2019