The Elementary Theory of Interval Real Numbers

DOI10.1002/MALQ.19850310110MaRDI QIDQ3338211zbMATH OpenOpenAlexFDO

Authors Stephen D. Comer

Publication date 1985

Published in Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19850310110

zbMATH Keywords

axiomatizationdata tyeelementary theoryfirst-order theoryinterval analysisreal numbers

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Quantifier elimination, model completeness, and related topics (03C10) Ordered structures (06F99) Data structures (68P05)

Recommendations

• scientific article; zbMATH DE number 3940621
• Formal aspects of correctness and optimality of interval computations
• An Intuitionistic Axiomatisation of Real Closed Fields
• Roundoff-free number fields for interval computations
• Grundlagen einer Maschinenintervallarithmetik

Cited in

(3)

• Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies
• scientific article; zbMATH DE number 3928999 (Why is no real title available?)
• Roundoff-free number fields for interval computations

This page was built for publication: The Elementary Theory of Interval Real Numbers

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