Constructing Kripke models of certain fragments of Heyting's arithmetic.
Publications de l 'Institut Mathématique. Nouvelle Série, 63(77) (1998), p. 1.

Voir la notice de l'article dans European Digital Mathematics Library

Classification : 03F30, 03F50, 03C62, 03C90
Mots-clés : Kripke models, Heyting arithmetic, -induction, -induction, -induction, -induction 
@article{PIM2_1998__63(77)_258074,
     author = {Wehmeier, Kai F.},
     title = {Constructing {Kripke} models of certain fragments of {Heyting's} arithmetic.},
     journal = {Publications de l 'Institut Math\'ematique. Nouvelle S\'erie},
     pages = {1},
     publisher = {mathdoc},
     volume = {63(77)},
     year = {1998},
     zbl = {0946.03070},
     language = {en},
     url = {https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/}
}
TY  - JOUR
AU  - Wehmeier, Kai F.
TI  - Constructing Kripke models of certain fragments of Heyting's arithmetic.
JO  - Publications de l 'Institut Mathématique. Nouvelle Série
PY  - 1998
SP  - 1
VL  - 63(77)
PB  - mathdoc
UR  - https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/
LA  - en
ID  - PIM2_1998__63(77)_258074
ER  - 
%0 Journal Article
%A Wehmeier, Kai F.
%T Constructing Kripke models of certain fragments of Heyting's arithmetic.
%J Publications de l 'Institut Mathématique. Nouvelle Série
%D 1998
%P 1
%V 63(77)
%I mathdoc
%U https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/
%G en
%F PIM2_1998__63(77)_258074
Wehmeier, Kai F. Constructing Kripke models of certain fragments of Heyting's arithmetic.. Publications de l 'Institut Mathématique. Nouvelle Série, 63(77) (1998), p. 1. https://geodesic-test.mathdoc.fr/item/PIM2_1998__63(77)_258074/