Switch to: Citations

References in:

Relativity phenomena in set theory

Synthese 27 (1-2):189 - 198 (1974)

Add references

You must login to add references.

(1 other version)Undecidable theories.Alfred Tarski - 1968 - Amsterdam,: North-Holland Pub. Co.. Edited by Andrzej Mostowski & Raphael M. Robinson.details This book is well known for its proof that many mathematical systems - including lattice theory and closure algebras - are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups.". Download Export citation Bookmark 84 citations
Mathematical logic.Joseph Robert Shoenfield - 1967 - Reading, Mass.,: Addison-Wesley.details 8.3 The consistency proof -- 8.4 Applications of the consistency proof -- 8.5 Second-order arithmetic -- Problems -- Chapter 9: Set Theory -- 9.1 Axioms for sets -- 9.2 Development of set theory -- 9.3 Ordinals -- 9.4 Cardinals -- 9.5 Interpretations of set theory -- 9.6 Constructible sets -- 9.7 The axiom of constructibility -- 9.8 Forcing -- 9.9 The independence proofs -- 9.10 Large cardinals -- Problems -- Appendix The Word Problem -- Index. Download Export citation Bookmark 222 citations

1