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...
| Publicado en: | Journal of Symbolic Logic Vol. 82; no. 4; pp. 1422 - 1438 |
|---|---|
| Autor principal: | |
| Formato: | Artículo |
| Publicado: |
Cambridge University Press
Dec2017
|
| Materias: | |
| Acceso en línea: | Ver este registro en EBSCOhost |
| fields | @attributes: recordID: 1 pdfLink: plink: https://search.ebscohost.com/login.aspx?direct=true&db=hlh&AN=127197710&site=ehost-live header: @attributes: shortDbName: hlh uiTerm: 127197710 longDbName: Humanities International Complete uiTag: AN controlInfo: bkinfo: jinfo: jid: 00224812 3TY jtl: Journal of Symbolic Logic issn: 00224812 maglogo: N pubinfo: dt: Dec2017 vid: 82 iid: 4 pid: 15979 pub: Cambridge University Press artinfo: ui: 127197710 10.1017/jsl.2017.60 ppf: 1422 ppct: 16 formats: tig: atl: RETRACTIONS OF REVERSIBLE STRUCTURES. aug: au: KURILIĆ, MILOŠ S. affil: DEPARTMENT OF MATHEMATICS AND INFORMATICS UNIVERSITY OF NOVI SAD TRG DOSITEJA OBRADOVIĆA 4 21000 NOVI SAD, SERBIA su: Endomorphisms Bijections Model theory Algorithmic randomness Applied mathematics Algebraic logic sug: subj: Endomorphisms Bijections Model theory Algorithmic randomness Applied mathematics Algebraic logic keyword: 03C07 03C40 03C50 03C98 05C20 05C63 automorphism group bi-interpretability bijective endomorphism orbit reversible structure ultrahomogeneous structure ab: 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. pubtype: Academic Journal doctype: Article src: R language: English refInfo: copyright: @attributes: flag: Y dt: @attributes: year: 2017 holdings: @attributes: islocal: N |
|---|