@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://www.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://www.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://www.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, Tome 60 (1976) no. 13, pp. 93-107. http://www.numdam.org/item/ASCFM_1976__60_13_93_0/
Introduction to Metamathematics, Wolters-Noordhoff, Groningen, 1952. [69], Formalized Recursive Functionals and Formalized Realizability, Memoirs of the AMS 89 (1969). | MR | Zbl
[52],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
[70],Formal systems for some branches of intuitionistic analysis; Annals of Mathematical Logic 1 (1970), pp. 229-387. | MR | Zbl
and [70],Absoluteness of Intuitionistic Logic; PhD dissertation, University of Amsterdam (Mathematisch Centrum, Amsterdam, 1975). | MR | Zbl
[75],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
[71 ],The Theory of Recursive Functions and Effective Computability (McGraw-Hill, New York, 1967). | MR | Zbl
[67],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
[36],Completeness and validity for intuitionistic predicate logic; | Zbl
[76],