Please use this identifier to cite or link to this item:
https://doi.org/10.21256/zhaw-4782Full metadata record
| DC Field | Value | Language |
|---|---|---|
| dc.contributor.author | Flumini, Dandolo | - |
| dc.contributor.author | Sato, Kentaro | - |
| dc.date.accessioned | 2019-03-06T15:46:19Z | - |
| dc.date.available | 2019-03-06T15:46:19Z | - |
| dc.date.issued | 2014 | - |
| dc.identifier.issn | 0933-5846 | de_CH |
| dc.identifier.issn | 1432-0665 | de_CH |
| dc.identifier.uri | https://digitalcollection.zhaw.ch/handle/11475/15846 | - |
| dc.description | Erworben im Rahmen der Schweizer Nationallizenzen (http://www.nationallizenzen.ch) | de_CH |
| dc.description.abstract | 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 α. | de_CH |
| dc.language.iso | en | de_CH |
| dc.publisher | Springer | de_CH |
| dc.relation.ispartof | Archive for Mathematical Logic | de_CH |
| dc.rights | Licence according to publishing contract | de_CH |
| dc.subject | Transfinite recursion | de_CH |
| dc.subject | Well-foundedness | de_CH |
| dc.subject | Second order arithmetic | de_CH |
| dc.subject | Second order set theory | de_CH |
| dc.subject | pseudohierarchy | de_CH |
| dc.subject | Intuitionistic logic | de_CH |
| dc.subject.ddc | 510: Mathematik | de_CH |
| dc.title | From hierarchies to well-foundedness | de_CH |
| dc.type | Beitrag in wissenschaftlicher Zeitschrift | de_CH |
| dcterms.type | Text | de_CH |
| zhaw.departement | School of Engineering | de_CH |
| zhaw.organisationalunit | Institut für Angewandte Mathematik und Physik (IAMP) | de_CH |
| dc.identifier.doi | 10.21256/zhaw-4782 | - |
| dc.identifier.doi | 10.1007/s00153-014-0392-9 | de_CH |
| zhaw.funding.eu | No | de_CH |
| zhaw.issue | 7-8 | de_CH |
| zhaw.originated.zhaw | Yes | de_CH |
| zhaw.pages.end | 863 | de_CH |
| zhaw.pages.start | 855 | de_CH |
| zhaw.publication.status | publishedVersion | de_CH |
| zhaw.volume | 53 | de_CH |
| zhaw.publication.review | Peer review (Publikation) | de_CH |
| Appears in collections: | Publikationen School of Engineering | |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| 2014_Flumini_From_hierarchies_to_well-foundedness.pdf | 136.18 kB | Adobe PDF |  View/Open |
Show simple item record
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.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.