Cargando…
A hierarchy of formulas in set theory /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
1965.
|
| Colección: | Memoirs of the American Mathematical Society ;
no. 57. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.