The following pages link to (Q3772198):
Displaying 7 items.
- An undecidable fragment of the theory of set constraints (Q1274577) (← links)
- A codicity undecidable problem in the plane. (Q1401375) (← links)
- On the (un)decidability of a near-unanimity term (Q2474099) (← links)
- On hypercomputation, universal and diagonalization complete problems (Q2805471) (← links)
- TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE (Q4882918) (← links)
- On Non-Computable Functions (Q5046182) (← links)
- (Q5813909) (← links)