# 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 ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.