Failure of completeness properties of intuitionistic predicate logic for constructive models
Annales scientifiques de l'Université de Clermont. Mathématiques (1976)
- Volume: 60, Issue: 13, page 93-107
- ISSN: 0249-7042
Access Full Article
topHow to cite
topReferences
top- Kleene, S.C. [52], Introduction to Metamathematics, Wolters-Noordhoff, Groningen, 1952. [69], Formalized Recursive Functionals and Formalized Realizability, Memoirs of the AMS89 (1969). Zbl0184.02004MR244002
- Kreisel, G. [70], Church's thesis: a kind of reducibility axiom of constructive mathematics ; in lntuitionism and Proof Theory. (eds. Kino, Myhill, Vesley) (North Holland, Amsterdam, 1970), pp. 121-150. Zbl0199.30001MR278903
- Kreisel, G. and Troelstra, A.S. [70], Formal systems for some branches of intuitionistic analysis; Annals of Mathematical Logic1 (1970), pp. 229-387. Zbl0211.01101MR263609
- Leivant, D. [75], Absoluteness of Intuitionistic Logic; PhD dissertation, University of Amsterdam (Mathematisch Centrum, Amsterdam, 1975). Zbl0459.03024MR527625
- Prawitz, D. [71 ], Ideas and results of Proof Theory; in Proceedings of the Second Scandinavian Logic Symposium (ed. Fenstad) (North Holland, Amsterdam1971), pp. 235-307. Zbl0226.02031MR387024
- Rogers, H. [67], The Theory of Recursive Functions and Effective Computability (McGraw-Hill, New York, 1967). Zbl0183.01401MR224462
- Tarski, A. [36], Der Wahrheitsbegriff in den formalisierten Sprachen, Studia Phil.1 (1936) 261-405. English translation in: Logic, Semantics, Metamathematics, Clarendon Press, Oxford, 1956, pp. 152-278. Zbl0013.28903JFM62.1051.05
- Troelstra, A.S. [76], Completeness and validity for intuitionistic predicate logic; Zbl0439.03009