The following pages link to (Q5638302):
Displaying 4 items.
- Zero-place operations and functional completeness, and the definition of new connectives (Q3141184) (← links)
- FREE ALGEBRAS—ARE THEY CATEGORICALLY DEFINABLE? (Q3315567) (← links)
- A note on definability in equational logic (Q4312342) (← links)
- For Want of an ‘And’: A Puzzle about Non-Conservative Extension (Q5317773) (← links)