scientific article; zbMATH DE number 444627

MaRDI QIDQ3141106zbMATH OpenFDO

Authors Jacques Harthong

Publication date 9 November 1993

zbMATH Keywords

continuumhalointegrationlimited integers

Mathematics Subject Classification ID

History of mathematical logic and foundations (03-03) Nonstandard models in mathematics (03H05) History of real functions (26-03) Nonstandard analysis (26E35)

Recommendations

• scientific article; zbMATH DE number 3863197
• A constructive approach to nonstandard analysis
• Supplements to “A Predicative Approach to Nonstandard Mathematics”
• On Poincaré-type continuum and certain of its basic properties
• Non‐standard Analysis in WKL₀

Cited in

(12)

• Foundational aspects of multiscale digitization
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Multi-scale arithmetization of linear transformations
• Exploring the foundations of discrete analytical geometry in Isabelle/HOL
• scientific article; zbMATH DE number 3863197 (Why is no real title available?)
• Arithmetization of a circular arc
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• A Theorem on Unit Segments on the Real Line
• scientific article; zbMATH DE number 769597 (Why is no real title available?)
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
• Some representations of real numbers using integer sequences
• Insight in discrete geometry and computational content of a discrete model of the continuum

This page was built for publication:

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