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 8 items.
- 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)
- 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)
- A short proof of the Baker–Pixley theorem for classes (Q6142831) (← links)
