Realizability: A retrospective survey
- 1 January 1973
- book chapter
- Published by Springer Nature
- p. 95-112
- https://doi.org/10.1007/bfb0066772
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Disjunction and existence under implication in elementary intuitionistic formalismsThe Journal of Symbolic Logic, 1962
- Concerning formulas of the types A→B ν C,A →(Ex)B(x) in intuitionistic formal systemsThe Journal of Symbolic Logic, 1960
- Eine Unableitbarkeitsbeweismethode für den Intuitionistischen AussagenkalkülArchive for Mathematical Logic, 1957
- On disjunctions and existential statements in intuitionistic systems of logicMathematische Annalen, 1956
- On weakened quantificationThe Journal of Symbolic Logic, 1946
- On the interpretation of intuitionistic number theoryThe Journal of Symbolic Logic, 1945
- Recursive predicates and quantifiersTransactions of the American Mathematical Society, 1943
- On notation for ordinal numbersThe Journal of Symbolic Logic, 1938
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936
- Zur Deutung der intuitionistischen LogikMathematische Zeitschrift, 1932