On the elementary theory of pairs of real closed fields. II

DOI10.2307/2273596zbMath0529.03002OpenAlexW1976074940MaRDI QIDQ3310586

Walter Baur

Publication date: 1982

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273596

zbMATH Keywords

pairs of real closed fields

Mathematics Subject Classification ID

Decidability and field theory (12L05) Model-theoretic algebra (03C60) Decidability of theories and sets of sentences (03B25)

Related Items (2)

Existentially closed ordered difference fields and rings ⋮ Pseudovaluation domains with vapnik-chervonenkis classes of definable sets

This page was built for publication: On the elementary theory of pairs of real closed fields. II