Cargando…
Hierarchies of predicates of finite types /
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Providence, R.I. :
American Mathematical Society,
1964.
|
| Colección: | Memoirs of the American Mathematical Society ;
no. 51. |
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- Introduction Summary 1. Complete predicates and their degrees 2. The finite hierarchies 3. Transfinite hierarchies 4. Reduction of the definition of $^m_k0^r$ to explicit definition 5. Uniqueness ordinals 6. The case of $^m_k0^r$ etc. when $m = r$ 7. Relatively recursive well orderings.