
Some Intuitions Behind Realizability Semantics for Constructive Logic: Tableaux and Läuchli countermodels.
– James Lipton, Lauchli Countermodels, Michael J. O'donnell
 1996

1

Intuitive Counterexamples for Constructive Fallacies
– James Lipton, Michael J. O'donnell
 1994

5

"Clarifying the Nature of the Infinite": the development of metamathematics and proof theory
– Jeremy Avigad, Erich H. Reck
 2001


On the imaginative constructivist nature of design: a theoretical approach
– Akın O. Kazakçı


Computability and analysis: the legacy of Alan Turing
– Jeremy Avigad, Vasco Brattka
 2012

6

Constructive Mathematics, in Theory and Programming Practice
– Douglas Bridges, Steve Reeves
 1997

3

Relationships between constructive, predicative, and classical systems of analysis
– Solomon Feferman

1

Constructive Mathematics and Quantum Physics
– Douglas Bridges, Karl Svozil
 1999

9

Ordered Groups: A Case Study In Reverse Mathematics
– Reed Solomon
 1999


Understanding Intuitionism
– Edward Nelson, I Have Proved Ab
 1997

1

Truth and the foundations of mathematics. An introduction
– H. G. Dales, G. Oliveri

17

Number theory and elementary arithmetic
– Jeremy Avigad
 2003

4

Hilbert’s Program Then and Now
– Richard Zach
 2005

15

Basic logic: reflection, symmetry, visibility
– Giovanni Sambin, Giulia Battilotti
 1997


Characterizing the interpretation of set theory in MartinLöf type
– Michael Rathjen, Sergei Tupailo, Leeds Ls Jt

4

Choice principles in constructive and classical set theories
– Michael Rathjen
 2002


The Triumph of Types: Principia Mathematica’s Impact on Computer Science
– Robert L. Constable

1

Metamathematical Properties of Intuitionistic Set Theories with Choice Principles
– Michael Rathjen

2

Formalizing Automata II: Decidable Properties
– Robert L. Constable
