@article{PDML_1977__14_2_41_0, author = {Fraisse, R.}, title = {Deux relations d\'enombrables, logiquement \'equivalentes pour le second ordre, sont isomorphes}, journal = {Publications du D\'epartement de math\'ematiques (Lyon)}, pages = {41--62}, publisher = {Universit\'e Claude Bernard - Lyon 1}, volume = {14}, number = {2}, year = {1977}, mrnumber = {535746}, zbl = {0397.03008}, language = {fr}, url = {http://www.numdam.org/item/PDML_1977__14_2_41_0/} }
TY - JOUR AU - Fraisse, R. TI - Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes JO - Publications du Département de mathématiques (Lyon) PY - 1977 SP - 41 EP - 62 VL - 14 IS - 2 PB - Université Claude Bernard - Lyon 1 UR - http://www.numdam.org/item/PDML_1977__14_2_41_0/ LA - fr ID - PDML_1977__14_2_41_0 ER -
%0 Journal Article %A Fraisse, R. %T Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes %J Publications du Département de mathématiques (Lyon) %D 1977 %P 41-62 %V 14 %N 2 %I Université Claude Bernard - Lyon 1 %U http://www.numdam.org/item/PDML_1977__14_2_41_0/ %G fr %F PDML_1977__14_2_41_0
Fraisse, R. Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes. Publications du Département de mathématiques (Lyon), Tome 14 (1977) no. 2, pp. 41-62. http://www.numdam.org/item/PDML_1977__14_2_41_0/
The independence of the continuum hypothesis, 1963, Proceedings Nat. Acad. Sc., t. 50, p. 1143-1148, et t ; 51, p. 105-110. | MR | Zbl
,Set theory and the continuun hypothesis, 1966, 154, p., New-York ed. Benjamin. | MR | Zbl
Une nouvelle classification des systèmes de relations, 1950, Comptes rendus, t. 230, p. 1022-1024. | MR | Zbl
,Cours of mathematical logic, 1974, Vol. 2, Model theory, 192, p., trad. David Louvish, Dordrecht, ed. Reidel. | MR | Zbl
Cours de logique mathématique, t ; 3, Récursivité et constructibilité, 1975, 138, p., Paris, ed. Gauthier-Villars. | MR | Zbl
Definibility in set theory, 1970, Logic and Foundations of set theory, Amsterdam, ed. North-Holland. | MR | Zbl
,Consistance d'une hypothèse de Fraïssé sur la définissabilité dans un langage du second ordre, 1973, Comptes rendus, t. 276 (A), p. 1147-1150, et 1169-1172. | Zbl
,Models for higher order arithmetics, 1971, Bull. Acad. Pol. Sc. (math. astr. phys.) ; t. 19, p. 557-562. | MR | Zbl
,