Kripke, S. A. An extension of a theorem of Gaifman-Hales-Solovay. (English) Zbl 0162.32303 Fundam. Math. 61, 29-32 (1967). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 4 Documents Keywords:ordered sets, lattices PDFBibTeX XMLCite \textit{S. A. Kripke}, Fundam. Math. 61, 29--32 (1967; Zbl 0162.32303) Full Text: DOI EuDML