Imagen de Portada
Código QR

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

Descripción completa

Publicado en:Journal of Symbolic Logic Vol. 82; no. 4; pp. 1422 - 1438
Autor principal: KURILIĆ, MILOŠ S.
Formato: Artículo
Publicado: Cambridge University Press Dec2017
Materias:
Endomorphisms
Bijections
Model theory
Algorithmic randomness
Applied mathematics
Algebraic logic
Acceso en línea:Ver este registro en EBSCOhost