Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies. / / Wilfried Buchholz [and three others]
(Visualizza in formato marc)
(Visualizza in BIBFRAME)
| Autore: |
Buchholz Wilfried <1948->
|
| Titolo: |
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies. / / Wilfried Buchholz [and three others]
|
| Pubblicazione: | Berlin : , : Springer-Verlag, , [1981] |
| ©1981 | |
| Edizione: | 1st ed. 1981. |
| Descrizione fisica: | 1 online resource (VIII, 384 p.) |
| Disciplina: | 511.31 |
| Soggetto topico: | Induction (Mathematics) |
| Note generali: | Bibliographic Level Mode of Issuance: Monograph |
| Nota di contenuto: | Inductive definitions and subsystems of analysis -- Proof theoretic equivalences between classical and constructive theories for analysis -- Inductive definitions, constructive ordinals, and normal derivations -- The ??+1-Rule -- Ordinal analysis of ID? -- Proof-theoretical analysis of ID? by the method of local predicativity. |
| Titolo autorizzato: | Iterated inductive definitions and subsystems of analysis |
| ISBN: | 3-540-38649-1 |
| Formato: | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione: | Inglese |
| Record Nr.: | 996466513003316 |
| Lo trovi qui: | Univ. di Salerno |
| Opac: | Controlla la disponibilità qui |
Serie:
Lecture notes in mathematics (Springer-Verlag) ; ; 897.