Constructing Kripke models of certain fragments of Heyting's arithmetic.
Publications de l'Institut Mathématique. Nouvelle Série (1998)
- Volume: 63(77), page 1-8
- ISSN: 0350-1302
Access Full Article
top
How to cite
topWehmeier, Kai F.. "Constructing Kripke models of certain fragments of Heyting's arithmetic.." Publications de l'Institut Mathématique. Nouvelle Série 63(77) (1998): 1-8. <http://eudml.org/doc/258074>.
@article{Wehmeier1998,
author = {Wehmeier, Kai F.},
journal = {Publications de l'Institut Mathématique. Nouvelle Série},
keywords = {Kripke models; Heyting arithmetic; -induction; -induction; -induction; -induction},
language = {eng},
pages = {1-8},
publisher = {Izdaje Matematički Institut SANU},
title = {Constructing Kripke models of certain fragments of Heyting's arithmetic.},
url = {http://eudml.org/doc/258074},
volume = {63(77)},
year = {1998},
}
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
PB - Izdaje Matematički Institut SANU
VL - 63(77)
SP - 1
EP - 8
LA - eng
KW - Kripke models; Heyting arithmetic; -induction; -induction; -induction; -induction
UR - http://eudml.org/doc/258074
ER -
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.