scientific article; zbMATH DE number 1222940

Publication date: 12 November 1998

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

ultrapower nonstandard models Loeb measure enlargement

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Nonstandard models in mathematics (03H05) Nonstandard measure theory (28E05) Nonstandard analysis (26E35)

Related Items (94)

Diophantine approximation and nonstandard ultrametric distances ⋮ Local monodromy in non-Archimedean analytic geometry ⋮ Nullstellensatz via Nonstandard Methods ⋮ Describing limits of integrable functions as grid functions of nonstandard analysis ⋮ A real-valued measure on non-Archimedean field extensions of $\mathbb{R}$ ⋮ Infinitesimal gunk ⋮ Remarks on the tail order on moment sequences ⋮ The Debreu Gap Lemma and some generalizations ⋮ Reasoning about negligibility and proximity in the set of all hyperreals ⋮ Halos and undecidability of tensor stable positive maps ⋮ Hyperreal transients in transfinite RLC networks ⋮ A Nonstandard Functional Programming Language ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ Stevin numbers and reality ⋮ Modular invariant of quantum tori ⋮ Elementary numerosity and measures ⋮ Nonstandard foundations of equilibrium search models ⋮ A logic for arguing about probabilities in measure teams ⋮ Tree-graded asymptotic cones. ⋮ Causal modeling in impulsive systems: a new rigorous non-standard analysis approach ⋮ A New Extension of the Riemann Integral ⋮ Nonstandard second-order arithmetic and Riemann's mapping theorem ⋮ New non-standard topologies ⋮ Ramsey properties of nonlinear Diophantine equations ⋮ Number fields and divisible groups via model theory ⋮ More about divisibility in βN ⋮ Metric completions, the Heine-Borel property, and approachability ⋮ Preservation in many-valued truth institutions ⋮ A nonstandard approach to asymptotic fixed point theorems ⋮ On the algebraization of Henkin‐type second‐order logic ⋮ Algebraic numbers with elements of small height ⋮ Nonstandard characterisations of tensor products and monads in the theory of ultrafilters ⋮ EUCLIDEAN NUMBERS AND NUMEROSITIES ⋮ Higher reciprocity law and an analogue of the Grunwald-Wang theorem for the ring of polynomials over an ultra-finite field ⋮ 19th-century real analysis, forward and backward ⋮ Unnamed Item ⋮ Effective infinitesimals in $\mathbb{R}$ ⋮ Do simple infinitesimal parts solve Zeno's paradox of measure? ⋮ Divergent mathematical treatments in utility theory ⋮ Examples of new nonstandard hulls of topological vector spaces ⋮ Sharkovskii order for non-wandering points ⋮ Linking complex analytic to nonstandard algebraic geometry ⋮ Direct proofs of the fundamental theorem of calculus for the omega integral ⋮ A constructive analysis of learning in Peano arithmetic ⋮ Height bounds, nullstellensatz and primality ⋮ Characterization of distributions having a value at a point in the sense of Robinson ⋮ A New Approach to Nonstandard Analysis ⋮ A grid function formulation of a class of ill-posed parabolic equations ⋮ Measuring and repairing inconsistency in probabilistic knowledge bases ⋮ Bi-Lipschitz approximation by finite-dimensional imbeddings ⋮ Ascending chain condition for -pure thresholds on a fixed strongly -regular germ ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ A short nonalgorithmic proof of the containers theorem for hypergraphs ⋮ Grid functions of nonstandard analysis in the theory of distributions and in partial differential equations ⋮ The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small ⋮ Additive representation of separable preferences over infinite products ⋮ Inverse problem for cuts ⋮ Survey article: The real numbers -- a survey of constructions ⋮ Approximation of a system of rational functional equations of three variables ⋮ BOUNDED POLYNOMIALS AND HOLOMORPHIC MAPPINGS BETWEEN CONVEX SUBRINGS OF * ⋮ Coarse-grained spin density-functional theory: Infinite-volume limit via the hyperfinite ⋮ Density and finiteness results on sums of fractions ⋮ On the prime spectrum of the ring of bounded nonstandard complex numbers ⋮ An analytic approach to sparse hypergraphs: hypergraph removal ⋮ Zeno's arrow and the infinitesimal calculus ⋮ CONGRUENCE OF ULTRAFILTERS ⋮ Probabilities defined on standard and non-standard cylindric set algebras ⋮ An integer construction of infinitesimals: toward a theory of eudoxus hyperreals ⋮ A temporal logic for micro- and macro-step-based real-time systems: foundations and applications ⋮ Nonstandard proofs of Herglotz, Bochner and Bochner-Minlos theorems ⋮ Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem ⋮ An approximate logic for measures ⋮ Krull dimensions of rings of holomorphic functions ⋮ Non-standard stochastics with a first order algebraization ⋮ TRIANGULATING NON-ARCHIMEDEAN PROBABILITY ⋮ Homomorphisms between rings with infinitesimals and infinitesimal comparisons ⋮ Reverse formalism 16 ⋮ Hyperreal transients on transfinite distributed transmission lines and cables ⋮ Calculus Limits Unified and Simplified ⋮ The galaxies of nonstandard enlargements of infinite and transfinite graphs ⋮ Concatenation theorems for anti-Gowers-uniform functions and Host-Kra characteristic factors ⋮ A set of axioms for nonstandard extensions ⋮ $F$-thresholds of hypersurfaces ⋮ Hyperfinite logics and non-standard extensions of Boolean algebras ⋮ A transfer principle for the continuations of real functions to the Levi-Civita field ⋮ Gordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite setting ⋮ Majority rule in the absence of a majority ⋮ Non-standard analysis in dynamic geometry ⋮ On finite approximations of topological algebraic systems ⋮ Pseudorandom vector generation using elliptic curves and applications to Wiener processes ⋮ A characterization of singular Schrödinger operators on the half-line ⋮ Numerosities of labelled sets: A new way of counting

This page was built for publication: