HOMOGENEITY AND FIX-POINTS: GOING FORTH!

VILLEMAIRE, ROGER (2015). « HOMOGENEITY AND FIX-POINTS: GOING FORTH! ». The Journal of Symbolic Logic, 80(02), pp. 636-660.

Fichier(s) associé(s) à ce document :

Prévisualisation	PDF Télécharger (475kB)

Résumé

While the back-and-forth method has been often attributed to Cantor, it turns out that in the original proof of the characterisation of countable linear dense orders, themapping is constructed in a single direction. Cameron has called this method Forth and has shown that it can fail to build an automorphism for some homogeneous structures.We give in this paper a characterisation of those homogeneous structures for which Forth always builds an automorphism. This generalises results by Cameron and McLeish.

Type:	Article de revue scientifique
Mots-clés ou Sujets:	homogeneous structures; back-and-forth; categoricity; fix-points
Unité d'appartenance:	Faculté des sciences > Département d'informatique
Déposé par:	Roger Villemaire
Date de dépôt:	15 avr. 2016 13:03
Dernière modification:	27 avr. 2016 18:11
Adresse URL :	http://archipel.uqam.ca/id/eprint/8149

Modifier les métadonnées (propriétaire du document)

Statistiques