×

zbMATH — the first resource for mathematics

Deux rélations denombrables, logiquement équivalentes pour le second ordre, sont isomorphes. (French) Zbl 0397.03008
MSC:
03B15 Higher-order logic; type theory (MSC2010)
03E45 Inner models, including constructibility, ordinal definability, and core models
03E20 Other classical set theory (including functions, relations, and set algebra)
PDF BibTeX XML Cite