Axiomatics for the external numbers of nonstandard analysis

DOI10.4115/JLA.2017.9.7MaRDI QIDQ4601290zbMATH OpenOpenAlexWikidataFDO

Authors Bruno Dinis, I. P. Van den Berg

Publication date 15 January 2018

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

axiomaticsnonstandard analysisexternal numberscomplete arithmetical solids

Mathematics Subject Classification ID

Models of other mathematical theories (03C65) Nonstandard models in mathematics (03H05) Nonstandard analysis (26E35)

Abstract: Neutrices are additive subgroups of a nonstandard model of the real numbers. An external number is the algebraic sum of a nonstandard real number and a neutrix. Due to the stability by some shifts, external numbers may be seen as mathematical models for orders of magnitude. The algebraic properties of external numbers gave rise to the so-called solids, which are extensions of ordered fields, having a restricted distributivity law. However, necessary and sufficient conditions can be given for distributivity to hold. In this article we develop an axiomatics for the external numbers. The axioms are similar to, but mostly somewhat weaker than the axioms for the real numbers and deal with algebraic rules, Dedekind completeness and the Archimedean property. A structure satisfying these axioms is called a complete arithmetical solid. We show that the external numbers form a complete arithmetical solid, implying the consistency of the axioms presented. We also show that the set of precise elements (elements with minimal magnitude) has a built-in nonstandard model of the rationals. Indeed the set of precise elements is situated between the nonstandard rationals and the nonstandard reals whereas the set of non-precise numbers is completely determined.

Recommendations

• Algebraic properties of external numbers
• scientific article; zbMATH DE number 3861160
• A decomposition theorem for neutrices
• *ZFC: An axiomatic * approach to nonstandard methods
• The Euclidean universe

Cited in

(13)

• On Non-linear Optimization with a Perturbed Objective Function
• A parameter method for linear algebra and optimization with uncertainties
• On flexible sequences
• Algebraic properties of external numbers
• Equality and Near-Equality in a Nonstandard World
• The explicit formula for Gauss-Jordan elimination applied to flexible systems
• An algebraic model for the propagation of errors in matrix calculus
• Gaussian elimination for flexible systems of linear inclusions
• scientific article; zbMATH DE number 4156434 (Why is no real title available?)
• A decomposition theorem for neutrices
• The special model axiom in nonstandard analysis
• scientific article; zbMATH DE number 5932228 (Why is no real title available?)
• Alpha-theory: An elementary axiomatics for nonstandard analysis

This page was built for publication: Axiomatics for the external numbers of nonstandard analysis

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