Pages that link to "Item:Q312209"
From MaRDI portal
The following pages link to Semantical conditions for the definability of functions and relations (Q312209):
Displaying 19 items.
- Algebraic functions (Q763312) (← links)
- Hyperidentities of QZ-algebras (Q922570) (← links)
- Algebraic functions in varieties generated by lattice-primal algebras (Q1084425) (← links)
- A note on syntactical and semantical functions (Q1107520) (← links)
- Algebraic functions on a three-element lattice (Q1715007) (← links)
- Implicit definition of the quaternary discriminator (Q1762478) (← links)
- Polarities of compact eight-dimensional planes (Q1781855) (← links)
- Infinitary Baker-Pixley theorem (Q1991599) (← links)
- Deciding quantifier-free definability in finite algebraic structures (Q2219074) (← links)
- Varieties with equationally definable factor congruences. II (Q2407971) (← links)
- Squares of Primal Algebras (Q3778047) (← links)
- (Q4264336) (← links)
- Locally Compact Hughes Planes (Q4289595) (← links)
- DOMINIONS AND PRIMITIVE POSITIVE FUNCTIONS (Q4638973) (← links)
- Baker–Pixley theorem for algebras in relatively congruence distributive quasivarieties (Q5380262) (← links)
- (Q5419205) (redirect page) (← links)
- (Q5863608) (← links)
- On the number of planes in Neumaier's \(A_8\)-geometry (Q5929845) (← links)
- A short proof of the Baker–Pixley theorem for classes (Q6142831) (← links)