Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes
Publications du Département de mathématiques (Lyon) (1977)
- Volume: 14, Issue: 2, page 41-62
- ISSN: 0076-1656
Access Full Article
top
How to cite
topFraisse, R.. "Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes." Publications du Département de mathématiques (Lyon) 14.2 (1977): 41-62. <http://eudml.org/doc/274306>.
@article{Fraisse1977,
author = {Fraisse, R.},
journal = {Publications du Département de mathématiques (Lyon)},
keywords = {Equivalence of Countable Relations; Second-Order Logic; Axiom Of Constructibility},
language = {fre},
number = {2},
pages = {41-62},
publisher = {Université Claude Bernard - Lyon 1},
title = {Deux relations dénombrables, logiquement équivalentes pour le second ordre, sont isomorphes},
url = {http://eudml.org/doc/274306},
volume = {14},
year = {1977},
}
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
PB - Université Claude Bernard - Lyon 1
VL - 14
IS - 2
SP - 41
EP - 62
LA - fre
KW - Equivalence of Countable Relations; Second-Order Logic; Axiom Of Constructibility
UR - http://eudml.org/doc/274306
ER -
References
top- Paul Cohen, The independence of the continuum hypothesis, 1963, Proceedings Nat. Acad. Sc., t. 50, p. 1143-1148, et t ; 51, p. 105-110. Zbl0192.04401MR157890
- Paul CohenSet theory and the continuun hypothesis, 1966, 154, p., New-York ed. Benjamin. Zbl0182.01301MR232676
- Roland Fraïssé, Une nouvelle classification des systèmes de relations, 1950, Comptes rendus, t. 230, p. 1022-1024. Zbl0040.16403MR34434
- Roland FraïsséCours of mathematical logic, 1974, Vol. 2, Model theory, 192, p., trad. David Louvish, Dordrecht, ed. Reidel. Zbl0287.02002MR532718
- Roland FraïsséCours de logique mathématique, t ; 3, Récursivité et constructibilité, 1975, 138, p., Paris, ed. Gauthier-Villars. Zbl0308.02001MR446871
- Azriel Levy, Definibility in set theory, 1970, Logic and Foundations of set theory, Amsterdam, ed. North-Holland. Zbl0623.03047MR268037
- Wiktor Marek, 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. Zbl0259.02048
- P. Zbierski, Models for higher order arithmetics, 1971, Bull. Acad. Pol. Sc. (math. astr. phys.) ; t. 19, p. 557-562. Zbl0236.02043MR307907
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.