Buchholz, Wilfried und Pohlers, W.
(1978):
Provable wellorderings of formal theories for transfinitely iterated inductive definitions.
In: Journal of symbolic logic, Bd. 43, Nr. 1: S. 118-125
[PDF, 1MB]
| Dokumententyp: | Zeitschriftenartikel |
|---|---|
| Fakultät: | Mathematik, Informatik und Statistik > Mathematik |
| Themengebiete: | 500 Naturwissenschaften und Mathematik > 510 Mathematik |
| URN: | urn:nbn:de:bvb:19-epub-3838-9 |
| Signatur: | BSB:4 Z 38.377-43 |
| Sprache: | Englisch |
| Dokumenten ID: | 3838 |
| Datum der Veröffentlichung auf Open Access LMU: | 16. Mai 2008 08:49 |
| Letzte Änderungen: | 13. Aug. 2024 12:39 |
- Dokument bearbeiten
