scientific article; zbMATH DE number 861256

Publication date: 28 March 1996

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

model theory nonstandard analysis history of analysis

Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonstandard models in mathematics (03H05) History of real functions (26-03) Nonstandard analysis (26E35) Research exposition (monographs, survey articles) pertaining to real functions (26-02)

Related Items (81)

Limit-free derivatives ⋮ On a nonstandard Brownian motion and its maximal function ⋮ Discrete sampling theorem to Shannon’s sampling theorem using the hyperreal numbers R ⋮ Infinite computations and the generic finite ⋮ Non-standard analysis revisited: an easy axiomatic presentation oriented towards numerical applications ⋮ Reflections on the Axiomatic Approach to Continuity ⋮ A Nonstandard Functional Programming Language ⋮ NONSTANDARD CENTRAL LIMIT THEOREMS FOR MARKOV CHAINS ⋮ Natural Numbers and Infinitesimals ⋮ Some paradoxes of infinity revisited ⋮ The hybrid real number system ⋮ Novel first and second order numerical differentiation techniques and their application to nonlinear analysis of Kirchhoff-Love shells ⋮ A logic of interactive proofs ⋮ A topological approach to infinity in physics and biophysics ⋮ Theory extension in ACL2(r) ⋮ Modular invariant of quantum tori ⋮ Unnamed Item ⋮ Nonstandard analysis: its creator and place ⋮ Computations with Grossone-Based Infinities ⋮ Infinite-dimensional Categorical Quantum Mechanics ⋮ RIGOUR AND PROOF ⋮ A representative individual from Arrovian aggregation of parametric individual utilities ⋮ A note on special cases derived from Nelson's martingale central limit theorem ⋮ Utility with fuzzy numbers ⋮ Towards Quantum Field Theory in Categorical Quantum Mechanics ⋮ To be or not to be constructive, that is not the question ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ Lexicographic multi-objective linear programming using grossone methodology: theory and algorithm ⋮ Numerical infinitesimals in a variable metric method for convex nonsmooth optimization ⋮ Games over probability distributions revisited: new equilibrium models and refinements ⋮ Unnamed Item ⋮ The Olympic medals ranks, lexicographic ordering, and numerical infinities ⋮ From hybrid automata to DAE-based modeling ⋮ New directions for nominalist philosophers of mathematics ⋮ Numerical point of view on calculus for functions assuming finite, infinite, and infinitesimal values over finite, infinite, and infinitesimal domains ⋮ Unnamed Item ⋮ The exact (up to infinitesimals) infinite perimeter of the Koch snowflake and its finite area ⋮ Bounded energy exchange as an alternative to the third law of thermodynamics ⋮ The Geometric Theory of the Fundamental Germ ⋮ Stability of Systems of General Functional Equations in the Compact-Open Topology ⋮ On strong homogeneity of a class of global optimization algorithms working with infinite and infinitesimal scales ⋮ Non-standard semantics of hybrid systems modelers ⋮ Coalgebras in functional programming and type theory ⋮ Interpretation of percolation in terms of infinity computations ⋮ Examples of new nonstandard hulls of topological vector spaces ⋮ A new approach to the \(Z\)-transform through infinite computation ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Solving ordinary differential equations on the Infinity Computer by working with infinitesimals numerically ⋮ A generalized Taylor method of order three for the solution of initial value problems in standard and infinity floating-point arithmetic ⋮ Unnamed Item ⋮ A graded Bayesian coherence notion ⋮ Taking Physical Infinity Seriously ⋮ Strong non-standard completeness for fuzzy logics ⋮ On the prime spectrum of the ring of bounded nonstandard complex numbers ⋮ Conjugate-symplecticity properties of Euler-Maclaurin methods and their implementation on the infinity computer ⋮ Non-Archimedean game theory: a numerical approach ⋮ Ergodicity of Markov Processes via Nonstandard Analysis ⋮ The external fundamental group of an algebraic number field ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Interval arithmetic over finitely many endpoints ⋮ Abraham Robinson, 1918-1974 ⋮ Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers ⋮ PDE and extrafunctions ⋮ A New Computational Methodology Using Infinite and Infinitesimal Numbers ⋮ A functional interpretation for nonstandard arithmetic ⋮ Are instantaneous velocities real and really instantaneous?: An argument for the affirmative ⋮ Calculus on a non-Archimedean field extension of the real numbers: inverse function theorem, intermediate value theorem and mean value theorem ⋮ Asymptotic solutions of nonlinear difference equations ⋮ Asymptotics of families of solutions of nonlinear difference equations ⋮ On a sequence formed by iterating a divisor operator ⋮ Independence of the grossone-based infinity methodology from non-standard analysis and comments upon logical fallacies in some texts asserting the opposite ⋮ Некоторые замечания о нестандартных методах анализа. I ⋮ Comments on Edward Nelson’s “Internal set theory: A new approach to nonstandard analysis” ⋮ Numerical computations and mathematical modelling with infinite and infinitesimal numbers ⋮ Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting ⋮ On the relation between elementary partial difference equations and partial differential equations ⋮ Dealing with zero-time transitions in axiom systems. ⋮ Taking formalism seriously ⋮ Remarks on basics of fuzzy sets and fuzzy multisets ⋮ A local stability principle for continuous group homomorphisms in nonstandard setting

This page was built for publication: