Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective

Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective

Cached

Download Links

by Gerhard Jäger

Citations:

BibTeX

@MISC{Jäger_metapredicativeand,
    author = {Gerhard Jäger},
    title = {Metapredicative And Explicit Mahlo: A Proof-Theoretic Perspective},
    year = {}
}

Bookmark

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

Citations

106	The type-theoretic interpretation of constructive set theory: inductive definitions - Aczel - 1986
46	Systems of explicit mathematics with non-constructive µoperator. part i - Feferman, Jäger - 1993
45	Constructive set theory - Myhill - 1975
41	Systems of predicative analysis - Feferman - 1964
31	Eine beweistheoretische Untersuchung von (∆ 1 2-CA) + (BI) und verwandter Systeme, Sitzungsberichte der Bayerischen Akademie der Wissenschaften, Mathematisch-Naturwissenschaftliche Klasse 1 - Jäger, Pohlers - 1982
25	Some systems of second order arithmetic and their use - Friedman - 1975
20	The proof-theoretic analysis of transfinitely iterated fixed point theories - Jager, Kahle, et al. - 1999
19	Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory - Jäger, Strahm
15	Extending Martin-Löf Type Theory by one Mahlo-universe - Setzer
13	Predicative Theories of Types and Names - Marzetta - 1994
11	Extending the system T0 of explicit mathematics: the limit and Mahlo axioms - Jäger, Studer
10	Uber lineare transfinite Mengen, Berichte uber die Verhandlungen der Koniglich Sachsischen Gesellschaft der Wissenschaften zu - Mahlo - 1911
9	On the relationship between ATR0 and ÎD<ω - Avigad - 1996
9	Eine Grenze fur die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik, Archiv fur Mathematische Logik und Grundlagenforschung 67 - Schutte - 1964
7	Intensionality in Mathematics - Feferman - 1985
6	Wellordering proofs for metapredicative Mahlo - Strahm
5	First order theories for nonmonotonic inductive definitions: Recursively inaccessible and Mahlo - Jäger - 2001
5	Uniform limit in explicit mathematics with universes - Kahle - 1997
5	Constructive Foundations for Featherweight Java, submitted - Studer
4	Realizability Models for Constructive Set Theories with Restricted Induction Principles - Crosilla - 2000
4	Realization of analysis into explicit mathematics - Tupailo
3	inductive fixed-point theories: application to Hancock’s conjecture, The Patras Symposion - Iterated - 1982
2	General recursive functionals of finite type and hierarchies of functions, Ann - Gandy - 1967
2	The superjump and the first recursively Mahlo ordinal, Generalized Recursion Theory - Harrington - 1974
2	konstruktible Hierarchie als Hilfsmittel zur beweistheoretischen Untersuchung von Teilsystemen der Mengenlehre und Analysis - Die - 1979
2	Proof-theoretic analysis of KPM, Archive for - Rathjen - 1991
2	Recursively Mahlo ordinals and inductive definitions, Logic Colloquium ’69 - Richter - 1971
2	Metapredicative Subsystems of Analysis - Rüede - 2000
1	Recursion in the superjump, Generalized Recursion Theory - Aczel, Hinman - 1974
1	vindicated: “Das Kontinuum” 70 years later, Temi e Prospettive della Logica e della Filosofia della Scienza Contemporanee - Weyl - 1988
1	for termination and correctness of functional programs, Logic from Computer Science - Logics - 1991
1	for termination and correctness of functional programs II: Logics of strength PRA, Proof Theory - Logics - 1992
1	reductive proof theory have a viable rationale - Does
1	of explicit mathematics with non-constructive µ-operator - Systems - 1996
1	point theories and dependent choice, Archive for - Fixed
1	Set-theoretic aspects of ATR0, Logic Colloquium ’80 - Simpson - 1982
1	steps into metapredicativity in explicit mathematics, Sets and Proofs - First - 1999
1	mathematics: W-type, models, Master’s thesis, Institut für Informatik und angewandte Mathematik - Explicit - 1997