Failure of completeness properties of intuitionistic predicate logic for constructive models
Annales scientifiques de l'Université de Clermont. Mathématiques, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 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},
     pages = {93--107},
     publisher = {UER de Sciences exactes et naturelles de l'Universit\'e de Clermont},
     volume = {60},
     number = {13},
     year = {1976},
     mrnumber = {476411},
     zbl = {0362.02014},
     language = {en},
     url = {http://archive.numdam.org/item/ASCFM_1976__60_13_93_0/}
}
TY  - JOUR
AU  - Leivant, Daniel
TI  - Failure of completeness properties of intuitionistic predicate logic for constructive models
JO  - Annales scientifiques de l'Université de Clermont. Mathématiques
PY  - 1976
SP  - 93
EP  - 107
VL  - 60
IS  - 13
PB  - UER de Sciences exactes et naturelles de l'Université de Clermont
UR  - http://archive.numdam.org/item/ASCFM_1976__60_13_93_0/
LA  - en
ID  - ASCFM_1976__60_13_93_0
ER  - 
%0 Journal Article
%A Leivant, Daniel
%T Failure of completeness properties of intuitionistic predicate logic for constructive models
%J Annales scientifiques de l'Université de Clermont. Mathématiques
%D 1976
%P 93-107
%V 60
%N 13
%I UER de Sciences exactes et naturelles de l'Université de Clermont
%U http://archive.numdam.org/item/ASCFM_1976__60_13_93_0/
%G en
%F 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, Actes du séminaire international d'été de logique (Clermont-Ferrand - du 15 au 26 juillet 1975), Tome 60 (1976) no. 13, pp. 93-107. http://archive.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 | Zbl

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

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

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

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

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

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

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