The following pages link to (Q4392769):
Displaying 10 items.
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- Undecidable goals for completed acyclic programs (Q1326578) (← links)
- Undecidability and intuitionistic incompleteness (Q1815411) (← links)
- Some proofs of undecidability of arithmetic (Q3237141) (← links)
- Undecidability in Some Structures Related to Computation Theory (Q3611729) (← links)
- A Uniformly, Extremely Nonextensional Formula of Arithmetic with many Undecidable Fixed Points in many Theories (Q3677758) (← links)
- (Q3691669) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- Undecidable extensions of Büchi arithmetic and Cobham-Semënov Theorem (Q4382476) (← links)
- UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872) (← links)