scientific article; zbMATH DE number 2106998
From MaRDI portal
Publication:4821145
zbMATH Open1058.03002MaRDI QIDQ4821145FDOQ4821145
Authors: Vladimir Kanovei, M. Reeken 
Publication date: 8 October 2004
Title of this publication is not available (Why is that?)
Recommendations
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)
Cited In (57)
- Multi-level nonstandard analysis and the axiom of choice
- Effective infinitesimals in \(\mathbb{R}\)
- Use model theory in nonsmooth analysis
- Realism, nonstandard set theory, and large cardinals
- A parameter method for linear algebra and optimization with uncertainties
- The syntax of nonstandard analysis
- Relative arithmetic
- Nonstandard Analysis of the Behavior of Ergodic Means of Dynamical Systems on Very Big Finite Probability Spaces
- A nonstandard invariant of coarse spaces
- Iterated hyper-extensions and an idempotent ultrafilter proof of Rado's theorem
- Title not available (Why is that?)
- On flexible sequences
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
- A Predicative Approach to Nonstandard Mathematics
- Addendum to “A definable nonstandard enlargement”
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
- Title not available (Why is that?)
- On a sequence formed by iterating a divisor operator.
- Weyl and Intuitionistic Infinitesimals
- Nonstandard tools of nonsmooth analysis
- Saturation and Σ2-transfer for ERNA
- Transfer and a supremum principle for ERNA
- Infinitesimals via Cauchy sequences: refining the classical equivalence
- Title not available (Why is that?)
- Grossone approach to Hutton and Euler transforms
- Reverse mathematics and parameter-free transfer
- Asymptotics of families of solutions of nonlinear difference equations
- To be or not to be constructive, that is not the question
- Calculus of tangents and beyond
- On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers
- The explicit formula for Gauss-Jordan elimination applied to flexible systems
- An algebraic model for the propagation of errors in matrix calculus
- Strict finitism, feasibility, and the sorites
- Title not available (Why is that?)
- 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
- CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES
- A set of axioms for nonstandard extensions
- Proofs and retributions, or: why Sarah can't take limits
- Theory extension in ACL2(r)
- Title not available (Why is that?)
- The special model axiom in nonstandard analysis
- MINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFER
- Title not available (Why is that?)
- First steps towards an equilibrium theory for Lévy financial markets
- Infinitesimal analysis without the axiom of choice
- An integer construction of infinitesimals: toward a theory of eudoxus hyperreals
- An axiomatic presentation of the nonstandard methods in mathematics
- A theory of hyperfinite sets
- Title not available (Why is that?)
- On the quotient class of non-Archimedean fields
- A nonstandard construction of direct limit group actions
- Title not available (Why is that?)
- On Non-linear Optimization with a Perturbed Objective Function
- Alpha-theory: An elementary axiomatics for nonstandard analysis
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 Q4821145)
