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

• Autore: Levy Azriel
• Pubblicazione: Providence : , : American Mathematical Society, , 1965
• Descrizione fisica: 1 online resource (79 pages)
• Soggetto topico: Set theory
• Nota di bibliografia: Bibliography: pages 74-76.
• Nota di contenuto: ""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""
• Titolo autorizzato: A hierarchy of formulas in set theory
• ISBN: 1-4704-0003-0
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Lingua di pubblicazione: Inglese
• Record Nr.: 9910812541603321
• Lo trovi qui: Univ. Federico II
• Serie: Memoirs of the American Mathematical Society ; ; 57.