Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
https://doi.org/10.21256/zhaw-4782| Publikationstyp: | Beitrag in wissenschaftlicher Zeitschrift |
| Art der Begutachtung: | Peer review (Publikation) |
| Titel: | From hierarchies to well-foundedness |
| Autor/-in: | Flumini, Dandolo Sato, Kentaro |
| DOI: | 10.21256/zhaw-4782 10.1007/s00153-014-0392-9 |
| Erschienen in: | Archive for Mathematical Logic |
| Band(Heft): | 53 |
| Heft: | 7-8 |
| Seite(n): | 855 |
| Seiten bis: | 863 |
| Erscheinungsdatum: | 2014 |
| Verlag / Hrsg. Institution: | Springer |
| ISSN: | 0933-5846 1432-0665 |
| Sprache: | Englisch |
| Schlagwörter: | Transfinite recursion; Well-foundedness; Second order arithmetic; Second order set theory; pseudohierarchy; Intuitionistic logic |
| Fachgebiet (DDC): | 510: Mathematik |
| Zusammenfassung: | We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting (Π01−CA0)α⊢wf(α) where (Π01−CA0)α stands for the iteration of Π01 comprehension (with parameters) along some ordinal α and wf(α) stands for the well-foundedness of α. |
| Weitere Angaben: | Erworben im Rahmen der Schweizer Nationallizenzen (http://www.nationallizenzen.ch) |
| URI: | https://digitalcollection.zhaw.ch/handle/11475/15846 |
| Volltext Version: | Publizierte Version |
| Lizenz (gemäss Verlagsvertrag): | Lizenz gemäss Verlagsvertrag |
| Departement: | School of Engineering |
| Organisationseinheit: | Institut für Angewandte Mathematik und Physik (IAMP) |
| Enthalten in den Sammlungen: | Publikationen School of Engineering |
Dateien zu dieser Ressource:
| Datei | Beschreibung | Größe | Format | |
|---|---|---|---|---|
| 2014_Flumini_From_hierarchies_to_well-foundedness.pdf | 136.18 kB | Adobe PDF |  Öffnen/Anzeigen |
Zur Langanzeige
Flumini, D., & Sato, K. (2014). From hierarchies to well-foundedness. Archive for Mathematical Logic, 53(7-8), 855–863. https://doi.org/10.21256/zhaw-4782
Flumini, D. and Sato, K. (2014) ‘From hierarchies to well-foundedness’, Archive for Mathematical Logic, 53(7-8), pp. 855–863. Available at: https://doi.org/10.21256/zhaw-4782.
D. Flumini and K. Sato, “From hierarchies to well-foundedness,” Archive for Mathematical Logic, vol. 53, no. 7-8, pp. 855–863, 2014, doi: 10.21256/zhaw-4782.
FLUMINI, Dandolo und Kentaro SATO, 2014. From hierarchies to well-foundedness. Archive for Mathematical Logic. 2014. Bd. 53, Nr. 7-8, S. 855–863. DOI 10.21256/zhaw-4782
Flumini, Dandolo, and Kentaro Sato. 2014. “From Hierarchies to Well-Foundedness.” Archive for Mathematical Logic 53 (7-8): 855–63. https://doi.org/10.21256/zhaw-4782.
Flumini, Dandolo, and Kentaro Sato. “From Hierarchies to Well-Foundedness.” Archive for Mathematical Logic, vol. 53, no. 7-8, 2014, pp. 855–63, https://doi.org/10.21256/zhaw-4782.
Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt, soweit nicht anderweitig angezeigt.