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

出版时间：2001-12  出版社：World Scientific Publishing Company  作者：Sacks, Gerald 编  页数：693  

内容概要

This invaluable book is a collection of 31 important — both in ideas and results — papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gödel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.

书籍目录

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……