The following pages link to (Q5601471):
Displaying 16 items.
- Toward a theorem of Douady (Q541984) (← links)
- Elementary definability of symmetry groups (Q759011) (← links)
- Undecidability of the theory of Boolean algebras with automorphism (Q787968) (← links)
- A mathematical characterization of interpretation between theories (Q1062672) (← links)
- A non-Abelian variety of groups has an undecidable elementary theory (Q1136747) (← links)
- Prevarieties of associative rings whose elementary theory is decidable (Q1136753) (← links)
- The theory of Abelian groups with predicates specifying a subgroup, and with endomorphism operations (Q1249571) (← links)
- Theories of Abelian groups with predicates specifying a subgroup (Q1249572) (← links)
- Undecidability of the theory of Abelian groups with an automorphism (Q1256065) (← links)
- The undecidability of fields of rational functions over fields of characteristic 2 (Q1843430) (← links)
- Decidability of certain theories of integers (Q1844663) (← links)
- Hyper-hypersimple \(m\)-degrees (Q2548248) (← links)
- On elementary theories of lattices of subgroups (Q2548595) (← links)
- Undecidability and Definability for the Theory of Global Fields (Q3926549) (← links)
- The Diophantine Problem for Polynomial Rings and Fields of Rational Functions (Q4182609) (← links)
- Arithmetic on algebraic varieties (Q5917385) (← links)
