Decidable theories of preordered fields

DOI10.1007/BF01453981zbMath0466.12019MaRDI QIDQ1155098

Alexander Prestel

Publication date: 1982

Published in: Mathematische Annalen (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/163613

zbMATH Keywords

model companiondecidableelementary theorypreordered field

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Fields related with sums of squares (formally real fields, Pythagorean fields, etc.) (12D15) Decidability of theories and sets of sentences (03B25)

Related Items (5)

Extensions of Hilbert's tenth problem ⋮ Valuative Lattices and Spectra ⋮ Existentially closed ordered difference fields and rings ⋮ RRC-fields with small absolute Galois groups ⋮ On the model companion of the theory of e-fold ordered fields

Cites Work

• Lectures on formally real fields
• Model theoretic algebra. Selected topics
• Reduzierte quadratische Formen und Semiordnungen reeller Körper
• Introduction to model theory and to the metamathematics of algebra
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Decidable theories of preordered fields