Abstract
We present an example of two countable ω-categorical structures, one of which has a finite relational language, whose endomorphism monoids are isomorphic as abstract monoids, but not as topological monoids—in other words, no isomorphism between these monoids is a homeomorphism. For the same two structures, the automorphism groups and polymorphism clones are isomorphic, but not topologically isomorphic. In particular, there exists a countable ω-categorical structure in a finite relational language which can neither be reconstructed up to first-order biinterpretations from its automorphism group, nor up to existential positive bi-interpretations from its endomorphism monoid, nor up to primitive positive bi-interpretations from its polymorphism clone.
Similar content being viewed by others
References
G. Ahlbrandt and M. Ziegler, Quasi-finitely axiomatizable totally categorical theories, Annals of Pure and Applied Logic 30 (1986), 63–82.
H. Becker and A. Kechris, The Descriptive Set Theory of Polish Group Actions, London Mathematical Society Lecture Note Series, Vol. 232, Cambridge University Press, Cambridge, 1996.
M. Bodirsky, The core of a countably categorical structure, in STACS 2005, Lecture Notes in Computer Science, Vol. 3404, Springer, Berlin, 2005, pp. 110–120.
M. Bodirsky and M. Pinsker, Minimal functions on the random graph, Israel Journal of Mathematics 200 (2014), 251–296.
M. Bodirsky and M. Pinsker, Topological Birkhoff, Transactions of the American Mathematical Society 367 (2015), 2527–2549.
L. Barto and M. Pinsker, The algebraic dichotomy conjecture for infinite domain constraint satisfaction problems, in Proceedings of the 31st Annual ACM/IEEE Symposium in Logic in Computer Science (New York, NY, 2016), ACM, New York, NY, 2016, pp. 615–622.
M. Bodirsky, M. Pinsker and A. Pongrácz, Reconstructing the topology of clones, Transactions of the American Mathematical Society 369 (2017), 3707–3740.
M. Bodirsky, M. Pinsker and A. Pongrácz, Projective clone homomorphisms, Journal od Symbolic Logic, accepted, arXiv:1409.4601, 2014.
D. M. Evans and P. R. Hewitt, Counterexamples to a conjecture on relative categoricity, Annals of Pure and Applied Logic 46 (1990), 201–209.
W. Hodges, A shorter Model Theory, Cambridge University Press, Cambridge, 1997.
A. Kechris, Classical descriptive set theory, volume 156 of Graduate Texts in Mathematics, Vol. 156, Springer, New York, 1995.
D. Lascar, On the category of models of a complete theory, Journal of Symbolic Logic 47 (1982), 249–266.
D. Lascar, Le demi-groupe des endomorphismes d’une structure N 0-catégorique, in Actes de la Journée Algèbre Ordonnée (Le Mans, 1987), 1989, pp. 33–43.
D. Lascar, Autour de la propriété du petit indice, Proceedings of the London Mathematical Society 62 (1991), 25–53, 1991.
L. Ribes and P. Zalesskii, Profinite Groups, Ergebnisse der Mathematik und ihrer Grenzgebiete, Vol. 40, Springer, Berlin, 2000.
S. Shelah, Can you take Solovay’s inaccessible away?, Israel Journal of Mathematics 48 (1984), 1–47.
E. Witt, Über die Kommutatorgruppe kompakter Gruppen, Rendiconti di Matematica e delle sue Applicazioni. Serie V 14 (1954), 125–129.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author has received funding from the European Research Council under the European Community’s Seventh Framework Programme (FP7/2007-2013 Grant Agreement no. 257039).
The third author has been funded through project P27600 of the Austrian Science Fund (FWF).
The fourth author has been funded through projects I836-N23 and P27600 of the Austrian Science Fund (FWF).
Rights and permissions
About this article
Cite this article
Bodirsky, M., Evans, D., Kompatscher, M. et al. A counterexample to the reconstruction of ω-categorical structures from their endomorphism monoid. Isr. J. Math. 224, 57–82 (2018). https://doi.org/10.1007/s11856-018-1645-9
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11856-018-1645-9