Mathematical Investigations of Functional Interpretation of a Constructive Arithmetic System With the Bar Induction (of Type 0) and Definitions By Transfinite Recursion

Cached

Download Links

by n.n.

Active Bibliography

15 Proof Mining: A Systematic Way of Analysing Proofs in Mathematics – Ulrich Kohlenbach, Paulo B. Oliva - 2002
1 Lambda Calculus – C. -h. L. Ong, C C. -h. L. Ong
Contents – Michael Rathjen - 2013
8 The Realm of Ordinal Analysis – Michael Rathjen - 1997
ON THE ROLE OF RAMSEY QUANTIFIERS IN FIRST ORDER ARITHMETIC1 – H. Schmerl, Stephen G. Simpson, James H. Schmerl, Stephen, G. Simpson
The proof theory of classical and constructive inductive definitions. A 40 year saga, 1968-2008. – Solomon Feferman - 2008
3 Effective bounds on strong unicity in L_1-approximation – Ulrich Kohlenbach, Paulo B. Oliva - 2001
10 Proof mining in L_1-approximation – Ulrich Kohlenbach, Paulo Oliva - 2001
3 An Intuitionistic Logic That Proves Markov’s Principle – Hugo Herbelin
Recursion Theory – Helmut Schwichtenberg - 2007
2 BARWISE: INFINITARY LOGIC AND ADMISSIBLE SETS – H. Jerome, Keisler, Julia F. Knight
19 Higher Order Logic – Daniel Leivant - 1994
10 On Bounded Set Theory – Vladimir Yu. Sazonov
6 A Bounded Set Theory with Anti-Foundation Axiom and Inductive Definability – Vladimir Yu Sazonov - 1995
58 Extending Classical Logic with Inductive Definitions – Marc Denecker - 2000
35 Logic programming revisited: logic programs as inductive definitions – Marc Denecker, Maurice Bruynooghe, Victor Marek - 2001
44 The Well-founded Semantics Is the Principle of Inductive Definition – Marc Denecker - 1998
15 An Inductive Definition Approach to Ramifications – Marc Denecker, Daniele Theseider DuprĂ©, Kristof Van Belleghem - 1998
28 A logic of non-monotone inductive definitions – Marc Denecker, Eugenia Ternovska - 2007