Interpretierbarkeit in der Gruppentheorie

DOI10.1007/BF02944970zbMath0215.04801MaRDI QIDQ2545517

Kurt Hauschild, Wolfgang Rautenberg

Publication date: 1971

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Graphs and abstract algebra (groups, rings, fields, etc.) (05C25) Decidability of theories and sets of sentences (03B25) Free nonabelian groups (20E05) Torsion-free groups, finite rank (20K15) Semigroups (20Mxx)

Related Items (4)

Trees, grids, and MSO decidability: from graphs to matroids ⋮ Algorithmic problems in right-angled Artin groups: complexity and applications ⋮ Kommutationsgleichungen in semifreien gruppen ⋮ Definability of models by means of existential formulas without identity

Cites Work

• Undecidable theories
• Über Metatheoretische Eigenschaften Einiger Geometrischer Theorien
• Some theorems on definability and decidability
• Unnamed Item

This page was built for publication: Interpretierbarkeit in der Gruppentheorie