Limit search to available items
Book Cover
E-book
Author Lévy, Azriel, 1934-

Title A hierarchy of formulas in set theory / by Azriel Lévy
Published Providence, R.I. : American Mathematical Society, 1965

Copies

Description 1 online resource (76 pages)
Series Memoirs of the American Mathematical Society ; no. 57
Memoirs of the American Mathematical Society ; no. 57.
Contents 1. Introduction 2. Definition of the hierarchy 3. The relative hierarchy 4. Formulas in $\Sigma _0$ and admissible terms 5. The satisfaction predicates 6. The semantical hierarchy theorem 7. Undecidable sentences 8. The syntactical hierarchy theorems 9. Reflection phenomena 10. The lower levels of the hierarchy Appendix A. The dependence of the results on the axiom of foundation Appendix B. The Boolean closure of $\Sigma _j$ Appendix C. Complete reflection in Ackermann's set theory Appendix D. Equivalence of the Skolem-Löwenheim theorem with the axiom of dependent choices
Bibliography Includes bibliographical references (pages 74-76)
Notes English
Print version record
Subject Set theory.
Logic, Symbolic and mathematical.
Logic, Symbolic and mathematical
Set theory
Axiomatische Mengenlehre
Formel
Hierarchie
Genre/Form Reihenlehre.
Form Electronic book
ISBN 9781470400033
1470400030