11

Formalized Recursive Functions and Formalized Realizability, volume 89
– Stephen C Kleene
 1969

6

R.: Can there be no nonrecursive functions
– J Moschovakis
 1971

38

The foundations of intuitionistic mathematics, especially in relation to recursive functions
– Stephen Cole Kleene, Richard Eugene Vesley
 1965

2

Vesley [1965], The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions
– S C Kleene, R E

8

An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles
– Y Akama, S Berardi, S Hayashi, U Kohlenbach

10

The Foundations of Intuitionistic Mathematics
– Stephen C Kleene, Richard E Vesley
 1965

3

Fan Theorem as an axiom and as a contrast to Kleene’s Alternative
– W Veldman, Brouwer’s
 2005

1

Intuïtionistische wiskunde, collegedictaat FNWI, Radboud Universiteit Nijmegen
– Wim Veldman
 2006

1

Axiomatische verzamelingsleer, collegedictaat FNWI, Radboud Universiteit
– Wim Veldman
 2006

1

Hamel bases and measurability
– M G Nadkarni, V S Sunder
 2004

3

A peculiar connection between the Axiom of Choice and predicting the future
– C Hardin, A Taylor

27

Consequences of the axiom of choice
– P Howard, J E Rubin
 1998

24

Zermelo’s axiom of choice: Its origins, development, and influence
– G H Moore
 1982

5

A survey of intuitionistic descriptive set theory
– W Veldman
 1990

2

Intuitionistic formal systems
– A S Troelstra
 1973

3

Classical extensions of intuitionistic mathematics
– S C Kleene
 1965

3

1992], A constructive interpretation of classical mathematics
– P Krauss
 1992

1

Hierarchies in intuitionistic arithmetic. Slides from a talk in Gjuletchica
– J R Moschovakis
 2002

1

Intuitionistic analysis and logic. English translation, available from the homepages of the authors, of an article in Greek for a collection edited by D. Anapolitanos, to be published by Nefeli
– J R Moschovakis, G Vafeiadou
