Pages that link to "Item:Q5177872"
From MaRDI portal
The following pages link to UNDECIDABILITY OF THE THEORIES OF CLASSES OF STRUCTURES (Q5177872):
Displaying 9 items.
- Undecidability of the structure of the Solovay degrees of c.e. reals (Q881596) (← links)
- The unification hierarchy is undecidable (Q1181721) (← links)
- Undecidable fragments of elementary theories (Q1906521) (← links)
- Undecidability in Some Structures Related to Computation Theory (Q3611729) (← links)
- Undefinable Classes and Definable Elements in Models of Set Theory and Arithmetic (Q3807185) (← links)
- Undecidable hypotheses in Edward Nelson's internal set theory (Q4005527) (← links)
- Hereditary undecidability of some theories of finite structures (Q4323040) (← links)
- (Q4896519) (← links)
- Definability in First Order Theories of Graph Orderings (Q5283438) (← links)