Equations for formally real meadows

DOI10.1016/j.jal.2015.01.004zbMath1350.68189arXiv1310.5011OpenAlexW2037874417MaRDI QIDQ2344368

Inge Bethke, Alban Ponse, Jan A. Bergstra

Publication date: 15 May 2015

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

Full work available at URL: https://arxiv.org/abs/1310.5011

zbMATH Keywords

complex numbersreal numberscompleteness theoremsformally real meadowsigned meadow

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational classes, universal algebra in model theory (03C05)

Related Items (1)

Arithmetical datatypes with true fractions

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Meadows and the equational specification of division
• Existence and uniqueness of the real closure of an ordered field without Zorn's lemma
• Model theory.
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• The rational numbers as an abstract data type
• Remarks on the Pythagoras and Hasse number of real fields.
• Elementary Algebraic Specifications of the Rational Complex Numbers

This page was built for publication: Equations for formally real meadows