Mathematical logic in the 20th century / [edited by] Gerald E. Sacks.

Includes bibliographical references.

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 Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.

Print version record.

Introduction -- The independence of the continuum hypothesis / Paul J. Cohen -- The independence of the continuum hypotehsis II / Paul J. Cohen -- Marginalia to a theorem of silver / K. I. Devlin and R. B. Jensen -- Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication / Richard M. Friedberg-- Higher set theory and mathematical practice / Harvey M. Friedman -- Introduction to [Pi ¹₂]-logic / Jean-Yves Girard -- Consistency-proof for the generalized continuum-hypothesis / Kurt Gödel-- The Mordell-Lang conjecture for function fields / Ehud Hrushovski-- Model-theoretic invariants: applications to recursive and hyperarithmetic operations / . G. Kreisel-- Recursive functionals and quantifiers of finite types I / S. C. Kleene -- A recursively enumerable degree which will not split over all lesser ones / A. H. Lachlan -- Measurable cardinals and analytic games / Donald A. Martin -- Enumerable sets are diophantine / Ju. V. Matijasevič -- Categoricity in power / Michael Morley -- Hyperanalytic predicates / Y. N. Moschovakis -- Solution of Post's reduction problem and some other problems of the theory of algorithms / A. A. Mučhnik -- Recursively enumerable sets of positive integers and their decision problems / Emil L. Post -- Non-standard analysis / Abraham Robinson -- The recursively enumerable degrees are dense / Gerald E. Sacks -- Measurable cardinals and constructible sets / Dana Scott -- Stable theories / S. Shelah -- The problem of predicativity / J. R. Schoenfield -- On the singular cardinals problem / Jack Silver -- Automorphisms of the lattice of recursively enumerable sets. Part I: Maximal sets / Robert Soare -- A model of set-theory in which every set of reals is Lebesgue measurable / Robert M. Solovay -- On degrees of recursive unfolvability / Clifford Spector -- A decision method for elementary algebra and geometry / Alfred Tarski -- Denumerable models of complete theories / R. L. Vaught -- Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function / A. J. Wilkie -- Supercompact cardinals, sets of reals, and weakly homogenous trees / W. Hugh Woodin -- Sturctural properties of models of N₁-categorical theories / B. I. Zil'ber -- Permissions.

English.

eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - Worldwide