## Mathematical Logic in the 20th Century (Google eBook)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

13 | |

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 |

### Common terms and phrases

apply arbitrary arithmetic assume automorphism axiom of choice axioms Borel set cardinal categorical clearly closed field cofinal completely defined computation construction contains contradiction Corollary corresponding countable decision method decision problem definition degree not splitting denote dilators e-state elementary algebra elements equivalent exists extension filter finite number follows formula given Hence holds hyperanalytic hypothesis implies induction infinite integers isomorphism Lachlan Lemma Logic Math mathematical measurable cardinal natural numbers notation notion obtained occurs at stage ordinal otherwise polynomial positive integers predicate primitive recursive functions proof properties prove quantifiers r.e. sets rank recursively enumerable degree recursively enumerable set relation result satisfies saturated model sentence sequence set of positive set of reals set theory SOLOVAY splitting over lesser strongly minimal structure subgroup subset Suppose symbols Theorem tion uncountable values Zariski dense