A hierarchy of formulas in set theory / Azriel Lévy.

Format:

Book

Author/Creator:

Levy, Azriel, author.

Series:

Memoirs of the American Mathematical Society ; 57.

Memoirs of the American Mathematical Society ; number 57

Language:

English

Subjects (All):

Set theory.

Physical Description:

1 online resource (79 pages)

Place of Publication:

Providence : American Mathematical Society, 1965.

Language Note:

English

Contents:

""Contents""; ""Â1. Introduction""; ""Â2. Definition of the hierarchy""; ""Â3. The relative hierarchy""; ""Â4. Formulas in Σ[sub(o)] 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 Σ[sub(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""

Notes:

Bibliography: pages 74-76.

Description based on print version record.

ISBN:

1-4704-0003-0