Annals of Pure and Applied Logic 156 (2):245-258 (2008)

Valentina Harizanov
George Washington University
We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures including equivalence structures, orderings, Boolean algebras, and relatively complemented distributive lattices. For certain subsemigroups of these inverse semigroups, isomorphism of the subsemigroups yields isomorphism of the underlying structures. We also prove that for some classes of computable structures, we can reconstruct a computable structure, up to computable isomorphism, from the isomorphism type of its inverse semigroup of computable partial automorphisms
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2008.06.016
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 57,156
Through your library

References found in this work BETA

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Daggers, Kernels, Baer *-Semigroups, and Orthomodularity.John Harding - 2013 - Journal of Philosophical Logic 42 (3):535-549.
Iteratively Changing the Heights of Automorphism Towers.Gunter Fuchs & Philipp Lücke - 2012 - Notre Dame Journal of Formal Logic 53 (2):155-174.
Automorphisms with Only Infinite Orbits on Non-Algebraic Elements.Grégory Duby - 2003 - Archive for Mathematical Logic 42 (5):435-447.
On the Structure of Rotation-Invariant Semigroups.Sándor Jenei - 2003 - Archive for Mathematical Logic 42 (5):489-514.
On Notions of Genericity and Mutual Genericity.J. K. Truss - 2007 - Journal of Symbolic Logic 72 (3):755 - 766.
On the Simplicity of the Automorphism Group ofP(Ω)/Fin.Sakaé Fuchino - 1992 - Archive for Mathematical Logic 31 (5):319-330.
Degrees of Rigidity for Souslin Trees.Gunter Fuchs & Joel David Hamkins - 2009 - Journal of Symbolic Logic 74 (2):423-454.
The Automorphism Group of a Resplendent Model.James H. Schmerl - 2012 - Archive for Mathematical Logic 51 (5-6):647-649.
Automorphism Group Actions on Trees.Alexandre Ivanov & Roman Kossak - 2004 - Mathematical Logic Quarterly 50 (1):71.
Sequences of N-Diagrams.Valentina S. Harizanov, Julia F. Knight & Andrei S. Morozov - 2002 - Journal of Symbolic Logic 67 (3):1227-1247.
Quantum Time Arrows, Semigroups and Time-Reversal in Scattering.Robert C. Bishop - 2005 - International Journal of Theoretical Physics:723-733.


Added to PP index

Total views
15 ( #648,872 of 2,411,819 )

Recent downloads (6 months)
2 ( #346,023 of 2,411,819 )

How can I increase my downloads?


My notes