Pages that link to "Item:Q4733856"
From MaRDI portal
The following pages link to Two Definability Results in the Equational Context (Q4733856):
Displaying 8 items.
- On the fullness of certain functors (Q584378) (← links)
- Solvability of context equations with two context variables is decidable (Q1599536) (← links)
- Definability in the language of functional equations of a countable-valued logic (Q2344091) (← links)
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- Arithmetic definability by formulas with two quantifiers (Q4008742) (← links)
- A note on definability in equational logic (Q4312342) (← links)
- (Q5441554) (← links)
- Mutual definability does not imply definitional equivalence, a simple example (Q5704809) (← links)