Article contents
RETRACTIONS OF REVERSIBLE STRUCTURES
Published online by Cambridge University Press: 09 January 2018
Abstract
A relational structure is called reversible iff each bijective endomorphism (condensation) of that structure is an automorphism. We show that reversibility is an invariant of some forms of L∞ω −bi-interpretability, implying that the condensation monoids of structures are topologically isomorphic. Applying these results, we prove that, in particular, all orbits of ultrahomogeneous tournaments and reversible ultrahomogeneous m-uniform hypergraphs are reversible relations and that the same holds for the orbits of reversible ultrahomogeneous digraphs definable by formulas which are not R-negative.
Keywords
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2017
References
REFERENCES

- 3
- Cited by