Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective
by
Gerhard Jäger
| Citations: | 2 - 2 self |
BibTeX
@MISC{Jäger_metapredicativeand,
author = {Gerhard Jäger},
title = {Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective},
year = {}
}
OpenURL
Abstract
After briefly discussing the concepts of predicativity, metapredicativity and impredicativity, we turn to the notion of Mahloness as it is treated in various contexts. Afterwards the







