Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
The Elementary Theory of Interval Real Numbers - MaRDI portal

The Elementary Theory of Interval Real Numbers

From MaRDI portal

Publication:3338211

Jump to:navigation, search

DOI10.1002/malq.19850310110zbMath0547.03007OpenAlexW2144813471MaRDI QIDQ3338211

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

interval analysis first-order theory axiomatization real numbers elementary theory data tye

Mathematics Subject Classification ID

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

Related Items (1)

Generalized concepts of syntactically and semantically trivial differences and instant-based and period-based time ontologies

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3338211&oldid=16583215"