Pages that link to "Item:Q5015973"
From MaRDI portal
The following pages link to Undecidability of Algebras of Binary Relations (Q5015973):
Displaying 5 items.
- Undecidability of relatively free Hilbert algebras (Q1103604) (← links)
- Undecidable theories of Lyndon algebras (Q2732275) (← links)
- (Q4271920) (← links)
- Undecidability of representability as binary relations (Q4899169) (← links)
- Implication algebras and implication semigroups of binary relations (Q6174423) (← links)