We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Mathematics > Logic

Title: Testing definitional equivalence of theories via automorphism groups

Abstract: Two pairs of definitionally inequivalent first-order logic theories are given that have same class of automorphism groups. One of the examples settles a conjecture of Barrett and Halvorson. Motivated by these, the following characterisation of definitional equivalence is proved: two theories are definitionally equivalent if and only if there is a bijection between their model classes that preserves isomorphisms and ultraproducts.
Subjects: Logic (math.LO)
MSC classes: 03C40 (Primary) 03C20, 08A35, 03B10, 03A10, 18Cxx (Secondary)
Cite as: arXiv:2211.14232 [math.LO]
  (or arXiv:2211.14232v1 [math.LO] for this version)

Submission history

From: Hajnal Andréka [view email]
[v1] Fri, 25 Nov 2022 16:46:11 GMT (22kb)

Link back to: arXiv, form interface, contact.