Decidable theories of preordered fields

DOI10.1007/BF01453981MaRDI QIDQ1155098zbMATH OpenFDO

Authors 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

decidableelementary theorymodel companionpreordered field

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3689524 (Why is no real title available?)
• scientific article; zbMATH DE number 3494537 (Why is no real title available?)
• scientific article; zbMATH DE number 3618237 (Why is no real title available?)
• scientific article; zbMATH DE number 3068536 (Why is no real title available?)
• Introduction to model theory and to the metamathematics of algebra
• Lectures on formally real fields
• Model theoretic algebra. Selected topics
• Reduzierte quadratische Formen und Semiordnungen reeller Körper

Cited in

(5)

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1155098)