Semantical conditions for the definability of functions and relations (Q312209)
From MaRDI portal
scientific article; zbMATH DE number 6301477
- Algebraic functions in quasiprimal algebras
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Semantical conditions for the definability of functions and relations |
scientific article; zbMATH DE number 6301477 |
|
Statements
Semantical conditions for the definability of functions and relations (English)
0 references
Algebraic functions in quasiprimal algebras (English)
0 references
14 September 2016
0 references
6 June 2014
0 references
first order definability
0 references
term-interpolation
0 references
finite algebras
0 references
algebraic functions
0 references
quasiprimal algebras
0 references
discriminator function
0 references
term functions
0 references
equational function definition
0 references
0 references
0 references
