Semantical conditions for the definability of functions and relations
DOI10.1007/s00012-016-0384-1zbMath1402.03040arXiv1506.07501OpenAlexW1697263423MaRDI QIDQ312209
Diego J. Vaggione, Miguel A. Campercholi
Publication date: 14 September 2016
Published in: Algebra Universalis, Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1506.07501
finite algebrasalgebraic functionsfirst order definabilityterm-interpolationterm functionsquasiprimal algebrasdiscriminator functionequational function definition
Subalgebras, congruence relations (08A30) Model theory of finite structures (03C13) Operations and polynomials in algebraic structures, primal algebras (08A40) Quasivarieties (08C15) Equational classes, universal algebra in model theory (03C05) Automorphisms and endomorphisms of algebraic structures (08A35) Interpolation, preservation, definability (03C40)
Related Items (7)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- An implicit function theorem for algebraically closed fields
- Axiomatizability by \({\forall \exists!}\)-sentences
- Algebraic functions
- Congruence distributive quasivarieties whose finitely subdirectly irreducible members form a universal class
- Algebraically expandable classes
- Remarks on the Fraser-Horn property
- Polynomial interpolation and the Chinese remainder theorem for algebraic systems
- The number of subdirectly irreducible algebras in a variety
- Preservation theorems for limits of structures and global sections of sheaves of structures
- Implicit definition of the quaternary discriminator
- Birkhoff-like sheaf representation for varieties of lattice expansions
- Closed systems of functions and predicates
- The ternary discriminator function in universal algebra
- Global subdirect products
- On the congruence extension property
This page was built for publication: Semantical conditions for the definability of functions and relations