scientific article; zbMATH DE number 2106998
From MaRDI portal
Publication:4821145
zbMath1058.03002MaRDI QIDQ4821145
Reeken, Michael, Kanovei, Vladimir
Publication date: 8 October 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Nonclassical and second-order set theories (03E70) Nonstandard models in mathematics (03H05)
Related Items
CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES ⋮ Grossone approach to Hutton and Euler transforms ⋮ Reverse mathematics and parameter-free transfer ⋮ The explicit formula for Gauss-Jordan elimination applied to flexible systems ⋮ Nonstandard Analysis of the Behavior of Ergodic Means of Dynamical Systems on Very Big Finite Probability Spaces ⋮ Theory extension in ACL2(r) ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Unnamed Item ⋮ Infinitesimal analysis without the axiom of choice ⋮ On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers ⋮ An algebraic model for the propagation of errors in matrix calculus ⋮ STRICT FINITISM, FEASIBILITY, AND THE SORITES ⋮ To be or not to be constructive, that is not the question ⋮ Transfer and a supremum principle for ERNA ⋮ On Non-linear Optimization with a Perturbed Objective Function ⋮ Effective infinitesimals in \(\mathbb{R}\) ⋮ A theory of hyperfinite sets ⋮ A decomposition theorem for neutrices ⋮ More infinity for a better finitism ⋮ A nonstandard invariant of coarse spaces ⋮ First steps towards an equilibrium theory for Lévy financial markets ⋮ Addendum to “A definable nonstandard enlargement” ⋮ Weyl and Intuitionistic Infinitesimals ⋮ The consistency of probabilistic regresses: some implications for epistemological infinitism ⋮ A graded Bayesian coherence notion ⋮ MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER ⋮ A nonstandard construction of direct limit group actions ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ On the quotient class of non-Archimedean fields ⋮ Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Use Model Theory in Nonsmooth Analysis ⋮ Nonstandard tools of nonsmooth analysis ⋮ Relative arithmetic ⋮ Asymptotics of families of solutions of nonlinear difference equations ⋮ On a sequence formed by iterating a divisor operator ⋮ A parameter method for linear algebra and optimization with uncertainties ⋮ Infinitesimals via Cauchy sequences: refining the classical equivalence ⋮ Saturation and Σ2-transfer for ERNA ⋮ On flexible sequences ⋮ Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
