20世纪的数学逻辑MATHEMATICAL LOGIC IN THE 20TH CENTURY

书籍目录

IntroductionThe Independence of the Continuum HypothesisThe Independence of the Continuum Hypothesis IIMarginalia to a Theorem of SilverThree Theorems on Recursive Enumeration. I. Decomposition II. Maximal Set. III. Enumeration without DuplicationHigher Set Theory and Mathematical PracticeIntroduction to H1/2-LogicConsistency-Proof for the Generalized Continuum-HypothesisThe Mordell-Lang Conjecture for Function FieldsModel-Theoretic Invariants: Applications to Recursive and Hyperarithmetic OperationsRecursive Functionals and Quantifiers of Finite Types IA Recursively Enumerable Degree which will not Split over all Lesser OnesMeasurable Cardinals and Analytic GamesEnumerable Sets are DiophantineCategoricity in PowerHyperanalytic PredicatesSolution of Post's Reduction Problem and Some Other Problems of the Theory of AlgorithmsRecursively Enumerable Sets of Positive Integers and TheirDecision ProblemsNon-Standard AnalysisThe Recursively Enumerable Degrees are DenseMeasurable Cardinals and Constructible SetsStable TheoriesThe Problem of PredicativityOn the Singular Cardinals ProblemAutomorphisms of the Lattice of Recursively Enumerable Sets Part I: Maximal SetsA Model of Set-Theory in which Every Set of Reals is Lebesgue MeasurableOn Degrees of Recursive UnsolvabilityA Decision Method for Elementary Algebra and Geometry……

作者简介

This invaluable book is a collection of 25 important -- both in ideas and in results -- papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks, a great logician.

 20世纪的数学逻辑MATHEMATICAL LOGIC IN THE 20TH CENTURY下载