Classical And Constructive Hierarchies In Extended Intuitionistic Analysis

Cached

Download Links

by Joan Rand Moschovakis
Citations:4 - 3 self

Documents Related by Co-Citation

11 Formalized Recursive Functions and Formalized Realizability, volume 89 – - 1969
6 Can there be no nonrecursive functions – - 1971
37 The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions – - 1965
2 Vesley [1965], The Foundations of Intuitionistic Mathematics, Especially in Relation to Recursive Functions
9 An arithmetical hierarchy of the law of excluded middle and related principles – - 2004
10 The Foundations of Intuitionistic Mathematics – - 1965
1 Intuïtionistische wiskunde, collegedictaat FNWI, Radboud Universiteit Nijmegen – - 2006
1 Axiomatische verzamelingsleer, collegedictaat FNWI, Radboud Universiteit – - 2006
1 Hamel bases and measurability – - 2004
3 A peculiar connection between the Axiom of Choice and predicting the future
4 fan theorem as an axiom and as a contrast to Kleene’s alternative – - 2005
26 Equivalents of the axiom of choice – - 1985
25 Zermelo’s axiom of choice. Its origins, development and influence, volume 8 – - 1982
5 A survey of intuitionistic descriptive set theory – - 1990
2 Intuitionistic formal systems – - 1973
3 Classical extensions of intuitionistic mathematics – - 1965
3 1992], A constructive interpretation of classical mathematics – - 1992
1 Hierarchies in intuitionistic arithmetic. Slides from a talk in Gjuletchica – - 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