Crossref Citations
This article has been cited by the following publications. This list is generated based on data provided by
Crossref.
Burr, Wolfgang
2000.
Fragments of Heyting arithmetic.
Journal of Symbolic Logic,
Vol. 65,
Issue. 3,
p.
1223.
Avigad, Jeremy
2000.
Interpreting classical theories in constructive ones.
Journal of Symbolic Logic,
Vol. 65,
Issue. 4,
p.
1785.
Avigad, Jeremy
2002.
Saturated models of universal theories.
Annals of Pure and Applied Logic,
Vol. 118,
Issue. 3,
p.
219.
Cantini, Andrea
2003.
The axiom of choice and combinatory logic.
Journal of Symbolic Logic,
Vol. 68,
Issue. 4,
p.
1091.
Avigad, Jeremy
2004.
Forcing in Proof Theory.
Bulletin of Symbolic Logic,
Vol. 10,
Issue. 3,
p.
305.
Hernest, Mircea-Dan
2005.
Computer Science Logic.
Vol. 3634,
Issue. ,
p.
477.
Berger, Ulrich
2005.
Uniform Heyting arithmetic.
Annals of Pure and Applied Logic,
Vol. 133,
Issue. 1-3,
p.
125.
Hernest, Mircea-Dan
and
Kohlenbach, Ulrich
2005.
A complexity analysis of functional interpretations.
Theoretical Computer Science,
Vol. 338,
Issue. 1-3,
p.
200.
Cantini, Andrea
2005.
Remarks on applicative theories.
Annals of Pure and Applied Logic,
Vol. 136,
Issue. 1-2,
p.
91.
Hernest, Mircea-Dan
2007.
Light Dialectica Program Extraction from a Classical Fibonacci Proof.
Electronic Notes in Theoretical Computer Science,
Vol. 171,
Issue. 3,
p.
43.
Coquand, Thierry
2007.
Kolmogorov’s Heritage in Mathematics.
p.
19.
Kohlenbach, Ulrich
2008.
Gödel's Functional Interpretation and its Use in Current Mathematics*.
Dialectica,
Vol. 62,
Issue. 2,
p.
223.
Avigad, Jeremy
2009.
The metamathematics of ergodic theory.
Annals of Pure and Applied Logic,
Vol. 157,
Issue. 2-3,
p.
64.
Herbelin, Hugo
2010.
An Intuitionistic Logic that Proves Markov's Principle.
p.
50.
Moniri, Morteza
2010.
Provably recursive functions of constructive and relatively constructive theories.
Archive for Mathematical Logic,
Vol. 49,
Issue. 3,
p.
291.
Avigad, Jeremy
and
Brattka, Vasco
2014.
Turing's Legacy.
p.
1.
Połacik, Tomasz
2016.
A Semantic Approach to Conservativity.
Studia Logica,
Vol. 104,
Issue. 2,
p.
235.
Cantini, Andrea
2017.
Logic Colloquium '01.
p.
108.
RAND MOSCHOVAKIS, JOAN
2019.
MARKOV’S PRINCIPLE AND SUBSYSTEMS OF INTUITIONISTIC ANALYSIS.
The Journal of Symbolic Logic,
Vol. 84,
Issue. 02,
p.
870.
Pédrot, Pierre-Marie
2020.
Russian Constructivism in a Prefascist Theory.
p.
782.