@Article{         Keshvardoost:2018aa,
  Author        = "Keshvardoost, Khadijeh and Klin, Bartek and Lasota, S{\l}awomir and Ochremiak, Joanna and Toru{\'n}czyk, Szymon",
  Abstract      = "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.",
  date-added    = "2018-03-03 09:14:53 +0000",
  date-modified = "2018-03-03 09:15:05 +0000",
  EPrint        = "1802.08500",
  Keywords      = "citesme!",
  Month         = "02",
  Title         = "Definable isomorphism problem",
  URL           = "https://arxiv.org/abs/1802.08500",
  Year          = "2018",
  bdsk-url-1    = "https://arxiv.org/abs/1802.08500",
  File          = "Definable isomorphism problem - 1802.08500 - a - a - k.pdf",
  file-2        = "1802.08500 (0) - a - a - k.pdf",
  file-3        = "Definable isomorphism problem - 1802.085000 - a - a - k.pdf"
}

@Article{ Keshvardoost:2018aa, Author = "Keshvardoost, Khadijeh and Klin, Bartek and Lasota, S{\l}awomir and Ochremiak, Joanna and Toru{\'n}czyk, Szymon", Abstract = "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.", date-added = "2018-03-03 09:14:53 +0000", date-modified = "2018-03-03 09:15:05 +0000", EPrint = "1802.08500", Keywords = "citesme!", Month = "02", Title = "Definable isomorphism problem", URL = "https://arxiv.org/abs/1802.08500", Year = "2018", bdsk-url-1 = "https://arxiv.org/abs/1802.08500", File = "Definable isomorphism problem - 1802.08500 - a - a - k.pdf", file-2 = "1802.08500 (0) - a - a - k.pdf", file-3 = "Definable isomorphism problem - 1802.085000 - a - a - k.pdf" }