RETRACTIONS OF REVERSIBLE STRUCTURES.

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. Ap...

Full description

Bibliographic Details

Published in:	Journal of Symbolic Logic Vol. 82; no. 4; pp. 1422 - 1438
Main Author:	KURILIĆ, MILOŠ S.
Format:	Article
Published:	Cambridge University Press Dec2017
Subjects:	Endomorphisms Bijections Model theory Algorithmic randomness Applied mathematics Algebraic logic
Online Access:	View this record in EBSCOhost