Search Images Maps Play YouTube News Gmail Drive More »
My library | Help | Advanced Book Search | Web History | Sign in

Books

Foundations of Set Theory

Front Cover
1 Review
Elsevier, Dec 1, 1973 - Computers - 412 pages
Foundations of Set Theory
  

What people are saying - Write a review

Review: Foundations of Set Theory

User Review  - Erdosam - Goodreads

I was studying sets and logic, and i found that this book was really help me out. Read full review

Related books

Mathematical logic
Mathematical logic
Joseph Robert Shoenfield
Snippet view - 1967
The principles of mathematics
The principles of mathematics
Bertrand Russell
No preview available - 1996
Cylindric set algebras
Cylindric set algebras
Leon Henkin,H. Andréka,Alfred Tarski
Snippet view - 1981
All related books »

Selected pages

Contents

CHAPTER I THE ANTINOMIES
1
CHAPTER II AXIOMATIC FOUNDATIONS OF SET THEORY
15
CHAPTER III TYPETHEORETICAL APPROACHES
154
CHAPTER IV INTUITIONISTIC CONCEPTIONS OF MATHEMATICS
210
CHAPTER V METAMATHEMATICAL AND SEMANTICAL APPROACHES
275
Bibliography
346
Index of persons
391
Index of symbols
397
Subject index
399
Copyright

Other editions - View all

Foundations of Set Theory
Foundations of Set Theory
Abraham Adolf Fraenkel
No preview available - 1958

Common terms and phrases

algebra antinomies arguments arithmetic attitude axiom of choice axiom of comprehension axiom of foundation axiom of infinity axiom of pairing axiom of restriction axiom schema Axiom VIII axiomatic Bernays Brouwer Cantor's cardinal numbers Chapter classical concept condition consistency proofs construction continuum hypothesis contradiction defined definition denote denumerable equivalent existence extensionality finite number first-order first-order predicate calculus formal system formula function given Godel hence Heyting Hilbert implies impredicative inaccessible cardinal induction infinite set integers interpretation intuitionism intuitionistic intuitive Kleene language layer logic Math mathematicians means mentioned metamathematical method Mostowski natural numbers notion of set null-set number theory objects obtained ordinal power-set predicate calculus principle problem procedure provable prove quantifiers Quine real numbers recursive relation semantical sentences set theory statement symbols system of set Tarski theorem tion ty(x type theory valid variables well-founded well-ordering well-ordering theorem Zermelo

References to this book

From other books

Introduction to Mathematical Logic: Fourth Edition
Introduction to Mathematical Logic: Fourth Edition

No preview available - 1997
Annals of Mathematical Logic
Annals of Mathematical Logic, Volume 1

No preview available - 1970
All Book Search results »

From Google Scholar

Agent-Based Computational Models And Generative Social Science
JOSHUA M EPSTEIN
Category Induction and Representation
Stevan Harnad
On the Semantics of “Now” in Databases
JAMES CLIFFORD, CURTIS DYRESON, TOMAS ISAKOWITZ, CHRISTIAN S JENSEN, RICHARD T SNODGRASS - 1997 - ACM Transactions on Database Systems
Reflection Principles and their Use for Establishing the ...
G Kreisel, A Levy - 1968 - Zeitschrift fur Mathematische Logik und Grundlagen der Mathematik
All Scholar search results »

Bibliographic information

QR code for Foundations of Set Theory
TitleFoundations of Set Theory
Studies in Logic and the Foundations of Mathematics
AuthorsA.A. Fraenkel, Y. Bar-Hillel, A. Levy
Edition2, revised
PublisherElsevier, 1973
ISBN0080887058, 9780080887050
Length412 pages
Subjects › 

Computers / Computer Science
  
Export CitationBiBTeX EndNote RefMan