On Turner’s theorem and first-order theory
DOI10.1080/00927872.2016.1147569zbMath1392.20025OpenAlexW2530415549MaRDI QIDQ2978245
Dennis Spellman, Anthony M. Gaglione, Benjamin Fine, Seymour Lipschutz
Publication date: 21 April 2017
Published in: Communications in Algebra (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00927872.2016.1147569
first-order theorytest elementsTarski problemsTurner groupelementary free groupscurious groupvacuous Turner group
Applications of logic to group theory (20A15) Model-theoretic algebra (03C60) Generators, relations, and presentations of groups (20F05) Automorphisms of infinite groups (20E36) Free nonabelian groups (20E05) Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10) Hyperbolic groups and nonpositively curved groups (20F67) Residual properties and generalizations; residually finite groups (20E26) Basic properties of first-order languages and structures (03C07)
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Elementary theory of free non-abelian groups.
- Irreducible affine varieties over a free group. I: Irreducibility of quadratic equations and Nullstellensatz
- Irreducible affine varieties over a free group. II: Systems in triangular quasi-quadratic form and description of residually free groups
- Test words, generic elements and almost primitivity
- Diophantine geometry over groups. IV: An iterative procedure for validation of a sentence.
- Diophantine geometry over groups. II: Completions, closures and formal solutions
- Diophantine geometry over groups. I: Makanin-Razborov diagrams
- Generic elements of free groups
- Diophantine geometry over groups. III: Rigid and solid solutions.
- Implicit function theorem over free groups.
- A classification of conjugately separated abelian, commutative transitive, and restricted Gromov one-relator groups.
- Über Automorphismen ebener diskontinuierlicher Gruppen
- Every two elementarily equivalent models have isomorphic ultrapowers
- \(\exists\)-free groups
- Test Elements, Generic Elements and Almost Primitivity in Free Products
- Something for nothing: some consequences of the solution of the Tarski problems
- The test rank of a soluble product of free Abelian groups
- Tarski’s problem about the elementary theory of free groups has a positive solution
- Hyperbolic groups and free constructions
- Test Words for Automorphisms of Free Groups
- Almost Locally Free Groups and a Theorem of Magnus: Some Questions
- Über die Einfachheit der speziellen projektiven Gruppen