Abstract
Let \({\mathcal{L}\subseteq \mathcal{L}^\prime}\) be first order languages, let \({R \in \mathcal{L}^\prime- \mathcal{L}}\) be a relation symbol, and let \({\mathcal{K}}\) be a class of \({\mathcal{L}^\prime}\)-structures. In this paper, we present semantical conditions equivalent to the existence of an \({\mathcal{L}}\)-formula \({\varphi(\vec{x})}\) such that \({\mathcal{K}\vDash \varphi(\vec{x}) \leftrightarrow R(\vec{x})}\), where \({\varphi}\) has a specific syntactical form (e.g., quantifier free, positive and quantifier free, existential Horn, etc.). For each of these definability results for relations, we also present an analogous version for the definability of functions. Several applications to natural definability questions in universal algebra have been included; most notably definability of principal congruences. The paper concludes with a look at term-interpolation in classes of structures with the same techniques used for definability. Here we obtain generalizations of two classical term-interpolation results: Pixley’s theorem for quasiprimal algebras, and the Baker–Pixley Theorem for finite algebras with a majority term.
Similar content being viewed by others
References
Balbes R., Dwinger P.: Distributive Lattices. University of Missouri Press, Columbia (1974)
Baker K., Pixley F.: Polynomial interpolation and the Chinese Remainder Theorem for algebraic systems. Math. Z. 143, 165–174 (1975)
Baldwin J., Berman J.: The number of subdirectly irreducible algebras in a variety. Algebra Universalis 5, 379–389 (1975)
Blok W., Pigozzi D.: On the congruence extension property. Algebra Universalis 38, 391–994 (1997)
Burris S.: Remarks on the Fraser-Horn property. Algebra Universalis 23, 19–21 (1986)
Burris S., Sankappanavar H.: A course in Universal Algebra. Springer, New York (1981)
Campercholi M., Vaggione D.: Algebraically expandable classes. Algebra Universalis 61, 151–186 (2009)
Campercholi M., Vaggione D.: Implicit definition of the quaternary discriminator. Algebra Universalis 68, 1–16 (2012)
Czelakowski J., Dziobiak W.: Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class. Algebra Universalis 27, 128–149 (1990)
Geiger D.: Closed Systems of Functions and Predicates. Pacific Journal of Mathematics 27, 95–100 (1968)
Gramaglia H., Vaggione D.: Birkhoff-like sheaf representation for varieties of lattice expansions. Studia Logica 56, 111–131 (1996)
Krauss, P., Clark, D.: Global subdirect products. Amer. Math. Soc. Mem. 210 (1979)
Krasner, M.: Endothéorie de Galois abstraite. Séminaire P. Dubreil (Algébre et Théorie des Nombres) 1 (1968)
Pixley A.: The ternary discriminator function in universal algebra. Math. Ann. 191, 167–180 (1971)
Volger H.: Preservation theorems for limits of structures and global sections of sheaves of structures. Math. Z. 166, 27–53 (1970)
Werner H.: Discriminator algebras, algebraic representation and model theoretic properties. Akademie-Verlag, Berlin (1978)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Campercholi, M., Vaggione, D. Semantical conditions for the definability of functions and relations. Algebra Univers. 76, 71–98 (2016). https://doi.org/10.1007/s00012-016-0384-1
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-016-0384-1