Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)

DOI10.1007/BF02941376zbMath0637.12018MaRDI QIDQ1098893

Klaus U. Schulz

Publication date: 1988

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

zbMATH Keywords

elimination of quantifiersQE-nearfields

Mathematics Subject Classification ID

Connections between field theory and logic (12L99) Quantifier elimination, model completeness, and related topics (03C10) Near-fields (12K05)

Cites Work

• Unnamed Item
• Transitive linear groups and nearfields with solubility conditions
• Free subgroups in linear groups
• Die Bestimmung aller stetigen Fastkörper über dem Körper der reellen Zahlen als Grundkörper
• Rings which admit elimination of quantifiers
• On $ω_1$-categorical theories of fields

This page was built for publication: Quantoren-Elimination bei Fastkörpern. (Elimination of quantifiers in nearfields)