Definable isomorphism problem Article Swipe
Related Concepts
Isomorphism (crystallography)
Computer science
Mathematics
Crystal structure
Crystallography
Chemistry
Khadijeh Keshvardoost
,
Bartek Klin
,
Sławomir Lasota
,
Joanna Ochremiak
,
Szymon Toruńczyk
·
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.23638/lmcs-15(4:14)2019
· OA: W2995897558
YOU?
·
· 2019
· Open Access
·
· DOI: https://doi.org/10.23638/lmcs-15(4:14)2019
· OA: W2995897558
We investigate the isomorphism problem in the setting of definable sets (equivalent to sets with atoms): given two definable relational structures, are they related by a definable isomorphism? Under mild assumptions on the underlying structure of atoms, we prove decidability of the problem. The core result is parameter-elimination: existence of an isomorphism definable with parameters implies existence of an isomorphism definable without parameters.
Related Topics
Finding more related topics…