Abstract
We introduce the class of tree-interpretable structures which generalises the notion of a prefix-recognisable graph to arbitrary relational structures. We prove that every tree-interpretable structure is finitely axiomatisable in guarded second-order logic with cardinality quantifiers.
Similar content being viewed by others
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Blumensath, A. Axiomatising Tree-Interpretable Structures. Theory Comput Systems 37, 3–27 (2004). https://doi.org/10.1007/s00224-003-1104-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00224-003-1104-8