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