Publication:4821145
From MaRDI portal
zbMath1058.03002MaRDI QIDQ4821145
Kanovei, Vladimir, Reeken, Michael
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
Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem, Use Model Theory in Nonsmooth Analysis, 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, 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, A theory of hyperfinite sets, Theory extension in ACL2(r), Relative arithmetic, 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”