Mathematical Logic in the 20th Century (Google eBook)

Front Cover
World Scientific, 2003 - Mathematics - 693 pages
1 Review
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

User Review - Flag as inappropriate

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.
 

Contents

Marginalia to a Theorem of Silver
13
Three Theorems on Recursive Enumeration I Decomposition
41
Introduction to HLogic
82
ConsistencyProof for the Generalized ContinuumHypothesis
108
Applications to Recursive
137
Recursive Functional and Quantifiers of Finite Types I
153
A Recursively Enumerable Degree which will not Split over
205
Measurable Cardinals and Analytic Games
264
Hyperanalytic Predicates
299
Solution of Posts Reduction Problem and Some Other Problems
333
Recursively Enumerable Sets of Positive Integers and Their
350
NonStandard Analysis
385
Measurable Cardinals and Constructible Sets
407
The Problem of Predicativity
427
A Model of SetTheory in which Every Set of Reals is Lebesgue
480
On Degrees of Recursive Unsolvability
536

Categoricity in Power
274

Common terms and phrases

Bibliographic information