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

zbMATH Keywords

finite algebrasalgebraic functionsfirst order definabilityterm-interpolationterm functionsquasiprimal algebrasdiscriminator functionequational function definition

Mathematics Subject Classification ID

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)

Varieties with equationally definable factor congruences. II ⋮ Unnamed Item ⋮ A short proof of the Baker–Pixley theorem for classes ⋮ Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties ⋮ Deciding quantifier-free definability in finite algebraic structures ⋮ DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS ⋮ Infinitary Baker-Pixley theorem

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