Cover Image

Testing definitional equivalence of theories via automorphism groups

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Andréka, H., Madarász, J., Németi, I., Székely, G.
Format:	Preprint
Published:	2022
Subjects:	Logic 03C40 (Primary) 03C20, 08A35, 03B10, 03A10, 18Cxx (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The variety of coset relation algebras
by: Givant, Steven, et al.
Published: (2018)

Elements of affine model theory
by: Bagheri, Seyed-Mohammad
Published: (2024)

Polymorphism-homogeneity and universal algebraic geometry
by: Tóth, Endre, et al.
Published: (2020)

Nonrepresentable relation algebras from group systems
by: Andréka, H., et al.
Published: (2018)

Ultrahomogeneity and $ω$-categoricity of monounary algebras
by: Quinn-Gregson, Thomas
Published: (2026)

Quantifier-free formulas and quantifier alternation depth in doctrines
by: Abbadini, Marco, et al.
Published: (2024)

Freely adding one layer of quantifiers to a Boolean doctrine
by: Abbadini, Marco, et al.
Published: (2024)

Logic families
by: Andréka, H., et al.
Published: (2023)

Extension Monads: Some Structure Theorems
by: Bowerman, Danielle, et al.
Published: (2025)

Of model completeness and algebraic groups
by: Hoffmann, Daniel Max, et al.
Published: (2023)

Corrigendum to "Model Theory of Fields with Virtually Free Group Actions"
by: Beyarslan, Özlem, et al.
Published: (2017)

On the first-order theories of quaternions and octonions
by: Savi, Enrico
Published: (2024)

Stable formulas in ordered structures
by: Hoffmann, Daniel Max, et al.
Published: (2020)

Vector spaces with a union of independent subspaces
by: Berarducci, Alessandro, et al.
Published: (2022)

Model Theory of Generic Vector Space Endomorphisms
by: Chini, Leon
Published: (2025)

Model Theory of Generic Vector Space Endomorphisms II
by: Chini, Leon
Published: (2025)

Corrigendum to "Kim-independence in positive logic"
by: Dobrowolski, Jan, et al.
Published: (2024)

Term algebras of elementarily equivalent atom structures
by: Andréka, H., et al.
Published: (2018)

A dichotomy for $T$-convex fields with a monomial group
by: Kaplan, Elliot, et al.
Published: (2023)

Eccentricity, extendable choice and descending distributive forcing
by: Ryan-Smith, Calliope
Published: (2025)

Coordinate recognition: General theory, Groups, and other surprises
by: Farah, I., et al.
Published: (2025)

Craig Interpolation for Subgeometric Logics
by: Di Liberti, Ivan, et al.
Published: (2026)

The domination monoid in o-minimal theories
by: Mennuni, Rosario
Published: (2020)

Transposition of variables is hard to describe
by: Andréka, H., et al.
Published: (2024)

Fractional Helly property and combinatorics of forking in NTP$_2$ theories
by: Chernikov, Artem, et al.
Published: (2026)

Revisiting Interpolation in Relevant Logics
by: Fussner, Wesley, et al.
Published: (2025)

Taking model-complete cores
by: Bodirsky, Manuel, et al.
Published: (2025)

More on expressibility of satisfiability in submodels and extensions
by: Poliakov, Nikolai L., et al.
Published: (2026)

Finite models for positive combinatorial and exponential algebra
by: Alsulami, Tumadhir, et al.
Published: (2024)

What model companionship can say about the Continuum problem
by: Venturi, Giorgio, et al.
Published: (2022)

Logical reduction of relations: from relational databases to Peirce's reduction thesis
by: Koshkin, Sergiy
Published: (2024)

Infinitary Logic Has No Expressive Efficiency Over Finitary Logic
by: Harrison-Trainor, Matthew, et al.
Published: (2022)

Varieties generated by completions
by: Andréka, H., et al.
Published: (2018)

PAC structures as invariants of finite group actions
by: Hoffmann, Daniel Max, et al.
Published: (2023)

NSOP$_1$-like independence in AECats
by: Kamsma, Mark
Published: (2021)

Sometimes tame, sometimes wild: weak continuity
by: Sanders, Sam
Published: (2024)

Model theory of difference fields with an additive character on the fixed field
by: Ludwig, Stefan Marian
Published: (2025)

An unusual example of a universal automorphism group
by: Sullivan, Rob, et al.
Published: (2026)

The Amalgamation Property for automorphisms of ordered abelian groups
by: Dobrowolski, Jan, et al.
Published: (2022)

A Complexity Dichotomy in Spatial Reasoning via Ramsey Theory
by: Bodirsky, Manuel, et al.
Published: (2020)