Download:
by Christian Rüede, Dissertation Universität Bern, Leiter Gerhard Jäger, Koreferent Thomas Strahm
http://www.iam.unibe.ch/~til/publications/files/2000/kopf.pdf
Add To MetaCart
Abstract:
die mir geholfen haben. Speziell erwähnen möchte ich Prof. Gerhard Jäger und Dr.
Citations
|
266
|
1984] Intuitionistic Type Theory
– Martin-Löf
|
|
80
|
Subsystems of Second Order Arithmetic
– Simpson
- 1999
|
|
71
|
Proof Theory
– Schutte
- 1977
|
|
55
|
Proof theory: Some applications of cut-elimination
– Schwichtenberg
- 1977
|
|
35
|
Proof Theory: An Introduction
– Pohlers
- 1989
|
|
31
|
Systems of predicative analysis
– Feferman
- 1964
|
|
26
|
Theories for Admissible Sets: A Unifying Approach to Proof Theory. Bibliopolis
– Jager
- 1986
|
|
25
|
Reflecting on incompleteness
– Feferman
- 1991
|
|
24
|
Proof Theory and Logical Complexity
– Girard
- 1987
|
|
15
|
Predicative Theories of Types and Names
– Marzetta
- 1993
|
|
14
|
The proof-theoretic analysis of transfinitely iterated fixed point theories
– Jäger, Kahle, et al.
- 1999
|
|
10
|
On the relationship between choice and comprehension principles in second order arithmetic
– Cantini
- 1986
|
|
9
|
Systems of explicit mathematics with non-constructive µ-operator and join
– Glass, Strahm
- 1996
|
|
9
|
Fixed point theories and dependent choice. Archive for Mathematical Logic
– Jäger, Strahm
- 2000
|
|
9
|
Upper bounds for metapredicative Mahlo in explicit mathematics and admissible set theory
– Jäger, Strahm
|
|
9
|
Eine Grenze fur die Beweisbarkeit der transfiniten Induktion in der verzweigten Typenlogik, Archiv fur Mathematische Logik und Grundlagenforschung 67
– Schutte
- 1964
|
|
8
|
Applikative Theorien und Frege-Strukturen. PhD thesis, Institut für Informatik und angewandte Mathematik
– Kahle
- 1997
|
|
6
|
The strength of Martin-Löf type theory with a superuniverse. Part I
– Rathjen
- 2000
|
|
6
|
Über die neue Grundlagenkrise der Mathematik
– Weyl
- 1921
|
|
5
|
The strength of admissibility without foundation
– Jäger
- 1984
|
|
4
|
Theories for iterated jumps
– Jäger
- 1980
|
|
4
|
First steps into metapredicativity in explicit mathematics
– Strahm
- 1999
|
|
3
|
On the relationship between AT R0 and � ID<ω
– Avigad
- 1996
|
|
2
|
Einleitung in die Mengenlehre
– Fraenkel
- 1928
|
|
2
|
personal communications
– Jager, Coordinator, et al.
- 1990
|
|
1
|
Iterated inductive fixed-point theories: application to Hancock’s conjecture
– unknown authors
- 1982
|
|
1
|
induction and ω model reflection
– Jäger, Strahm
|
|
1
|
On universes in type theory. In Twenty-five Years of Constructive Type Theory
– Palmgren
- 1998
|
|
1
|
Réflexions sur les deux notes précédentes
– Poincaré
- 1909
|
|
1
|
Autonomous fixed point progressions and fixed point transfinite recursion
– Strahm
- 2000
|
|
1
|
Wellordering proofs for metapredicative Mahlo. submitted
– Strahm
|
