Mathematical Logic in the 20th Century

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

Contents

Marginalia to a Theorem of Silver 133
13
Three Theorems on Recursive Enumeration I Decomposition
41
Introduction to ПI˝Logic
82
ConsistencyProof for the Generalized ContinuumHypothesis
108
Applications to Recursive
137
Recursive Functionals and Quantifiers of Finite Types
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

Enumerable Sets are Diophantine
269

Other editions - View all

Common terms and phrases

Bibliographic information