×

zbMATH — the first resource for mathematics

Consistance d’une hypothèse de Fraisse sur la definissabilite dans un langage du second ordre. (French) Zbl 0259.02048

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