Mathematical Logic in the 20th Century
This invaluable book is a collection of 31 important both inideas and results papers published by mathematical logicians inthe 20th Century. The papers have been selected by Professor Gerald ESacks. Some of the authors are GAdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin."
What people are saying - Write a review
I find it simply incomprehensible that a book on Mathematical Logic in 20th Century should not include Godel's paper on Principia Mathematica. A peculiar editorial decision was made to exclude pre-WWII work and yet the title includes the whole of 20th Century. Misleading.
Then the author says, the selection is personal, adding he does not know what 'personal' could mean.
Three Theorems on Recursive Enumeration I Decomposition
Introduction to IILogic
ConsistencyProof for the Generalized ContinuumHypothesis
Applications to Recursive
Recursive Functionals and Quantifiers of Finite Types I
A Recursively Enumerable Degree which will not Split over
Measurable Cardinals and Analytic Games
Solution of Posts Reduction Problem and Some Other Problems
Recursively Enumerable Sets of Positive Integers and Their
Measurable Cardinals and Constructible Sets
The Problem of Predicativity
A Model of SetTheory in which Every Set of Reals is Lebesgue
On Degrees of Recursive Unsolvability
Categoricity in Power