Failure of completeness properties of intuitionistic predicate logic for constructive models
Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, p. 93-107
@article{ASCFM_1976__60_13_93_0,
     author = {Leivant, Daniel},
     title = {Failure of completeness properties of intuitionistic predicate logic for constructive models},
     journal = {Annales scientifiques de l'Universit\'e de Clermont. Math\'ematiques},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     pages = {93-107},
     zbl = {0362.02014},
     mrnumber = {476411},
     language = {en},
     url = {http://www.numdam.org/item/ASCFM_1976__60_13_93_0}
}
Leivant, Daniel. Failure of completeness properties of intuitionistic predicate logic for constructive models. Annales scientifiques de l'Université de Clermont. Mathématiques, Volume 60 (1976) no. 13, pp. 93-107. http://www.numdam.org/item/ASCFM_1976__60_13_93_0/

Kleene, S.C. [52], Introduction to Metamathematics, Wolters-Noordhoff, Groningen, 1952. [69], Formalized Recursive Functionals and Formalized Realizability, Memoirs of the AMS 89 (1969). | MR 244002 | Zbl 0184.02004

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. | MR 278903 | Zbl 0199.30001

Kreisel, G. and Troelstra, A.S. [70], Formal systems for some branches of intuitionistic analysis; Annals of Mathematical Logic 1 (1970), pp. 229-387. | MR 263609 | Zbl 0211.01101

Leivant, D. [75], Absoluteness of Intuitionistic Logic; PhD dissertation, University of Amsterdam (Mathematisch Centrum, Amsterdam, 1975). | MR 527625 | Zbl 0459.03024

Prawitz, D. [71 ], Ideas and results of Proof Theory; in Proceedings of the Second Scandinavian Logic Symposium (ed. Fenstad) (North Holland, Amsterdam 1971), pp. 235-307. | MR 387024 | Zbl 0226.02031

Rogers, H. [67], The Theory of Recursive Functions and Effective Computability (McGraw-Hill, New York, 1967). | MR 224462 | Zbl 0183.01401

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. | JFM 62.1051.05 | Zbl 0013.28903

Troelstra, A.S. [76], Completeness and validity for intuitionistic predicate logic; | Zbl 0439.03009