Marek, Wiktor Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. (French) Zbl 0259.02048 C. R. Acad. Sci., Paris, Sér. A 276, 1147-1150 (1973). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 3 ReviewsCited in 1 Document MSC: 03E35 Consistency and independence results 03E20 Other classical set theory (including functions, relations, and set algebra) 03B15 Higher-order logic; type theory (MSC2010) PDF BibTeX XML Cite \textit{W. Marek}, C. R. Acad. Sci., Paris, Sér. A 276, 1147--1150 (1973; Zbl 0259.02048)