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 – 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