Markovic, Zoran An intuitionistic omitting types theorem. (English) Zbl 0442.03027 Publ. Inst. Math., Nouv. Sér. 26(40), 167-169 (1979). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 Review MSC: 03C99 Model theory Keywords:intuitionistic omitting types theorem; Heyting’s predicate calculus; Kripke models PDFBibTeX XMLCite \textit{Z. Markovic}, Publ. Inst. Math., Nouv. Sér. 26(40), 167--169 (1979; Zbl 0442.03027) Full Text: EuDML