Pages that link to "Item:Q4882918"
From MaRDI portal
The following pages link to TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE (Q4882918):
Displaying 5 items.
- Finite bases for flat graph algebras (Q5956274) (← links)
- Finitary PCF is not decidable (Q5958762) (← links)
- A survey on varieties generated by small semigroups and a companion website (Q6051037) (← links)
- Algebras from finite group actions and a question of Eilenberg and Schützenberger (Q6169073) (← links)
- Catalan monoids inherently nonfinitely based relative to finite \(\mathscr{R}\)-trivial semigroups (Q6170751) (← links)