An intuitionistic omitting types theorem.
Markovic, Z.
Publications de l'Institut Mathématique [Elektronische Ressource], Tome 40 (1979), p. 167-170 / Harvested from Göttinger Digitalisierungszentrum
Access to full text
Publié le : 1979-01-01
EUDML-ID : urn:eudml:doc:181489 
@article{GDZPPN002538245,
     title = {An intuitionistic omitting types theorem.},
     journal = {Publications de l'Institut Math\'ematique [Elektronische Ressource]},
     volume = {40},
     year = {1979},
     pages = {167-170},
     zbl = {0442.03027},
     url = {http://dml.mathdoc.fr/item/GDZPPN002538245}
}

Markovic, Z. An intuitionistic omitting types theorem.. Publications de l'Institut Mathématique [Elektronische Ressource], Tome 40 (1979) pp. 167-170. http://gdmltest.u-ga.fr/item/GDZPPN002538245/