Eintrag weiter verarbeiten
Wellordering proofs for metapredicative Mahlo
Gespeichert in:
Personen und Körperschaften: | |
---|---|
Titel: |
Wellordering proofs for metapredicative Mahlo |
In: | Journal of Symbolic Logic, 67, 2002, 1, S. 260-278 |
veröffentlicht: |
Cambridge University Press (CUP)
|
Umfang: | 260-278 |
ISSN: |
0022-4812 1943-5886 |
DOI: | 10.2178/jsl/1190150043 |
Zusammenfassung: | <jats:title>Abstract</jats:title><jats:p>In this article we provide wellordering proofs for metapredicative systems of explicit mathematics and admissible set theory featuring suitable axioms about the Mahloness of the underlying universe of discourse. In particular, it is shown that in the corresponding theories EMA of explicit mathematics and KPm<jats:sup>0</jats:sup> of admissible set theory, transfinite induction along initial segments of the ordinal <jats:italic>φω</jats:italic>00, for <jats:italic>φ</jats:italic> being a ternary Veblen function, is derivable. This reveals that the upper bounds given for these two systems in the paper Jäger and Strahm [11] are indeed sharp.</jats:p> |
Format: | E-Article |
Quelle: | Cambridge University Press (CUP) (CrossRef) |
Sprache: | Englisch |