Internal set theory: A new approach to nonstandard analysis

DOI10.1090/S0002-9904-1977-14398-XMaRDI QIDQ4149449zbMATH OpenOpenAlexWikidataFDO

Authors Edward Nelson

Publication date 1977

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1977-14398-x

Mathematics Subject Classification ID

Strong limit theorems (60F15) One-variable calculus (26A06) Axioms; other general questions in probability (60A05) Nonstandard analysis (26E35) Model theory (03C99) Nonstandard models (03H99)

Cites work

• scientific article; zbMATH DE number 3166227 (Why is no real title available?)
• scientific article; zbMATH DE number 3784831 (Why is no real title available?)
• scientific article; zbMATH DE number 3237398 (Why is no real title available?)
• scientific article; zbMATH DE number 3289430 (Why is no real title available?)
• Axiom schemata of strong infinity in axiomatic set theory
• Perturbations of the Schrödinger equation by potentials with small support
• Some Remarks on Set Theory
• Strong Derivatives and Inverse Mappings

Cited in

(only showing first 100 items - show all)

• Ultrasheaves and double negation
• Duck-shaped solutions and winding.
• Forcing in Proof Theory
• Strict finitism, feasibility, and the sorites
• Scale relativity, fractal space-time and quantum mechanics
• Asymptotic solutions of nonlinear difference equations
• Contractions of 2-dimensional Jordan algebras
• Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
• On mathematical realism and applicability of hyperreals
• Foundations of fuzzy sets: A nonstandard approach
• Probabilities and quantum fluctuations
• Nonstandard methods in combinatorics and theoretical computer science
• Noise: a nonstandard analysis.
• Ultrafunctions and applications
• Almost equal: the method of adequality from Diophantus to Fermat and beyond
• Insight in discrete geometry and computational content of a discrete model of the continuum
• On rapidly oscillating solutions of a nonlinear elliptic equation
• Quantum fields and point interactions
• Point perturbations in constant curvature spaces
• Minimum time problem synthesis
• Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
• Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
• On the relation between elementary partial difference equations and partial differential equations
• On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers
• An epistemological use of nonstandard analysis to answer Zeno's objections against motion
• Generalized functions and non-standard analysis
• The syntax of nonstandard analysis
• A characterization of singular Schrödinger operators on the half-line
• A constructive approach to nonstandard analysis
• Proofs and retributions, or: why Sarah can't take limits
• The shock location for a class of sensitive boundary value problems
• Dealing with zero-time transitions in axiom systems.
• A Cauchy-Dirac delta function
• Schrödinger operators with point interactions and short range expansions
• Entrée-sortie dans un tourbillon
• Non-standard analysis and representation of reality
• Ten misconceptions from the history of analysis and their debunking
• Fragment of Nonstandard Analysis with a Finitary Consistency Proof
• Nonstandard analysis: its creator and place
• Geometric interpretation of the Euclidean algorithm and recognition of segments
• On a nonstandard Brownian motion and its maximal function
• Refining the taming of the reverse mathematics zoo
• On the relation between two different methods to treat Hamiltonians with point interactions
• Perturbation of resonances in quantum mechanics
• Back and forth between continuous and discrete for the working computer scientist
• Alpha-theory: An elementary axiomatics for nonstandard analysis
• A functional interpretation for nonstandard arithmetic
• Generalized solutions of variational problems and applications
• A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
• On a complete rigid Leibniz non-Lie algebra in arbitrary dimension
• Internal approach to external sets and universes. I: Bounded set theory
• A simple algebraic characterization of nonstandard extensions
• A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
• On an explicit duck solution and delay in the FitzHugh-Nagumo equation
• On Discourses Addressed by Infidel Logicians
• Zeno's arrow and the infinitesimal calculus
• Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
• Extended use of IST
• Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
• Discrete buckling model for corrugated beam
• Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers
• Belief functions and default reasoning
• Nonstandard set theory
• Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis
• A comparison of deformations and geometric study of varieties of associative algebras.
• The consistency of probabilistic regresses: some implications for epistemological infinitism
• Functions of limited accumulation
• Propensity and necessity
• Discretisations of higher order and the theorems of Faà di Bruno and deMoivre-Laplace
• Boolean fuzzy sets
• Ultrapowers as sheaves on a category of ultrafilters
• Le moiré
• A decomposition theorem for neutrices
• More infinity for a better finitism
• Averaging and periodic solutions in the plane and parametrically excited pendulum
• Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
• On geometric ideas which lie at the foundation of quantum theory
• The Euclidean universe
• scientific article; zbMATH DE number 203221 (Why is no real title available?)
• The computational content of nonstandard analysis
• Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry
• Singularité analytique et perturbation singulière en dimension 2
• Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
• An irreducible component of the variety of Leibniz algebras having trivial intersection with the variety of Lie algebras
• Standard foundations for nonstandard analysis
• Foundational aspects of multiscale digitization
• A new approach to the \(Z\)-transform through infinite computation
• A parameter method for linear algebra and optimization with uncertainties
• The Mathematical Intelligencer flunks the Olympics
• Averaging on slow and fast cycles of a three time scale system
• Theory extension in ACL2(r)
• Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
• EDWARD NELSON (1932–2014)
• On uniform spaces with invariant nonstandard hulls
• Periodic words connected with the tribonacci-Lucas numbers
• Hyperfinite approximations of compact groups and their representations
• Elliptic sectors and Euler discretization
• The explicit formula for Gauss-Jordan elimination applied to flexible systems
• Intuitionistic nonstandard bounded modified realisability and functional interpretation
• Champs lents-rapides complexes à une dimension lente

This page was built for publication: Internal set theory: A new approach to nonstandard analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4149449)