The following pages link to Some highly undecidable lattices (Q584255):
Displaying 6 items.
- Undecidability of \(L(F_{\infty})\) and other lattices of r.e. substructures (Q1083446) (← links)
- Elementary equivalence of infinite-dimensional classical groups (Q1591375) (← links)
- The undecidability of the elementary theory of lattices of all equational theories of large signature (Q2311327) (← links)
- More undecidable lattices of Steinitz exchange systems (Q3149998) (← links)
- On ruled fields (Q3356392) (← links)
- Winter meeting of the Association for Symbolic Logic, San Antonio, 1993 (Q4302363) (← links)