Modellvollständigkeit der Mittelpunktsgeometrie und der Theorie der Vektorgruppen

DOI10.1007/BF02941301zbMath0411.03025MaRDI QIDQ1259584

Wolfram Schwabhäuser

Publication date: 1979

Published in: Abhandlungen aus dem Mathematischen Seminar der Universität Hamburg (Search for Journal in Brave)

zbMATH Keywords

decidable theoriestorsion free groupsadditive groups of vector spacesmodel completenessfirst-order axiom systemsmidpoint geometryparallelogram geometry

Mathematics Subject Classification ID

Applications of logic to group theory (20A15) Decidability of theories and sets of sentences (03B25) Torsion-free groups, infinite rank (20K20) Vector spaces, linear dependence, rank, lineability (15A03) Torsion groups, primary groups and generalized primary groups (20K10) Models of other mathematical theories (03C65) Torsion-free groups, finite rank (20K15) Categoricity and completeness of theories (03C35) Analytic geometry with other transformation groups (51N25)

Cites Work

• Complete theories
• Introduction to model theory and to the metamathematics of algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item