Decidable theories of preordered fields

DOI10.1007/BF01453981zbMATH Open0466.12019MaRDI QIDQ1155098FDOQ1155098

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

model companiondecidableelementary theorypreordered field

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Introduction to model theory and to the metamathematics of algebra
• Lectures on formally real fields
• Model theoretic algebra. Selected topics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Reduzierte quadratische Formen und Semiordnungen reeller Körper
• Title not available (Why is that?)

Cited In (5)

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

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)