Pages that link to "Item:Q2334766"
From MaRDI portal
The following pages link to Generic undecidability of universal theories (Q2334766):
Displaying 6 items.
- Generic complexity of first-order theories (Q890867) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- A generic m-reducibility (Q1670764) (← links)
- Generic complexity of the Diophantine problem (Q2873316) (← links)
- Generic complexity of undecidable problems (Q3503760) (← links)
- INCOMPATIBILITY OF GENERIC HUGENESS PRINCIPLES (Q6170501) (← links)