ENGLISH

Mathematical Logic in the 20th Century

By Gerald E. Sacks

Book information

Publisher
World Scientific, Singapore University Press :
Year
2003
ISBN
9789810247362, 981-02-4736-2
LCC
QA9.2 .M36 2003
Open Library ID
OL3323871M
Language
english
Format
PDF
Filesize
35 MB (37105178 bytes)
Pages
710\710
Topic
Mathematics Logic
Library
mexmat
Time added
2009-07-20 03:45:11
Математика;Математическая логика

Description

This anthology contains 31 significant papers in mathematical logic, mostly published in the second half of the twentieth century. Sacks, selecting on the basis of brevity as well as results, includes the work of Godel ("Consistency-Proof for the Generalized Continuum- Hypothesis"), Kleene ("Recursive Functionals and Quantifiers of Finite Types"), Tarski ("A Decision Method for Elementary Algebra and Geometry"), Robinson ("Non-Standard Analysis"), Kriesel ("Model- Theoretic Invariants"), Cohen (both parts of "The Independence of the Continuum Hypothesis"), Morley ("Categoricity in Power"), Shelah ("Stable Theories"), Hrushovski ("The Mordell-Lang Conjecture for Function Fields") and Woodin ("Supercompact Cardinals, Sets of Reals, and Weakly Homogeneous Trees").

Similar books