20世紀的數(shù)學邏輯MATHEMATICAL LOGIC IN THE 20TH CENTURY

內容概要

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

圖書封面

評論、評分、閱讀與下載

---

    20世紀的數(shù)學邏輯MATHEMATICAL LOGIC IN THE 20TH CENTURY PDF格式下載

---