Internal set theory: A new approach to nonstandard analysis

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

Title not available (Why is that?)
Title not available (Why is that?)
Title not available (Why is that?)
Axiom schemata of strong infinity in axiomatic set theory
Title not available (Why is that?)
Strong Derivatives and Inverse Mappings
Some Remarks on Set Theory
Perturbations of the Schrödinger equation by potentials with small support

Cited In (only showing first 100 items - show all)

Generalized solutions of variational problems and applications
Propensity and necessity
Foundations of fuzzy sets: A nonstandard approach
The syntax of nonstandard analysis
Functions of limited accumulation
Contractions of 2-dimensional Jordan algebras
Insight in discrete geometry and computational content of a discrete model of the continuum
An epistemological use of nonstandard analysis to answer Zeno's objections against motion
A simple algebraic characterization of nonstandard extensions
Boolean fuzzy sets
On mathematical realism and applicability of hyperreals
A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
Discrete buckling model for corrugated beam
Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers
Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis
Ultrafunctions and applications
Geometric interpretation of the Euclidean algorithm and recognition of segments
Refining the taming of the reverse mathematics zoo
Discretisations of higher order and the theorems of Faà di Bruno and deMoivre-Laplace
Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
A functional interpretation for nonstandard arithmetic
Ultrasheaves and double negation
Duck-shaped solutions and winding.
Back and forth between continuous and discrete for the working computer scientist
Quantum fields and point interactions
Point perturbations in constant curvature spaces
Entrée-sortie dans un tourbillon
Fragment of Nonstandard Analysis with a Finitary Consistency Proof
Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
Dealing with zero-time transitions in axiom systems.
Non-standard analysis and representation of reality
Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems
Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond
Internal approach to external sets and universes. I: Bounded set theory
Le moiré
On geometric ideas which lie at the foundation of quantum theory
Belief functions and default reasoning
On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers
Forcing in Proof Theory
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
A comparison of deformations and geometric study of varieties of associative algebras.
Probabilities and quantum fluctuations
Ultrapowers as sheaves on a category of ultrafilters
Strict finitism, feasibility, and the sorites
Nonstandard methods in combinatorics and theoretical computer science
On rapidly oscillating solutions of a nonlinear elliptic equation
On an explicit duck solution and delay in the FitzHugh-Nagumo equation
Noise: a nonstandard analysis.
Almost equal: the method of adequality from Diophantus to Fermat and beyond
The consistency of probabilistic regresses: some implications for epistemological infinitism
A decomposition theorem for neutrices
More infinity for a better finitism
Proofs and retributions, or: why Sarah can't take limits
On a nonstandard Brownian motion and its maximal function
Scale relativity, fractal space-time and quantum mechanics
The Euclidean universe
Minimum time problem synthesis
A Cauchy-Dirac delta function
Ten misconceptions from the history of analysis and their debunking
On the relation between elementary partial difference equations and partial differential equations
A constructive approach to nonstandard analysis
Extended use of IST
The shock location for a class of sensitive boundary value problems
Nonstandard set theory
Asymptotic solutions of nonlinear difference equations
On Discourses Addressed by Infidel Logicians
Nonstandard analysis: its creator and place
On the relation between two different methods to treat Hamiltonians with point interactions
Perturbation of resonances in quantum mechanics
Schrödinger operators with point interactions and short range expansions
On a complete rigid Leibniz non-Lie algebra in arbitrary dimension
Zeno's arrow and the infinitesimal calculus
Title not available (Why is that?)
A characterization of singular Schrödinger operators on the half-line
Averaging and periodic solutions in the plane and parametrically excited pendulum
Generalized functions and non-standard analysis
A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
Alpha-theory: An elementary axiomatics for nonstandard analysis
Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
Arithmetization of a circular arc
Solutions périodiques symétriques de l'équation de Duffing sans dissipation
Gaussian behavior of loop-erased self-avoiding random walk in four dimensions
Intuitionistic nonstandard bounded modified realisability and functional interpretation
From binomial expectations to the Black-Scholes formula: The main ideas
On a class of algebras of generalized functions. Application to differential systems
Properties of classes of \(\alpha\)-standard elements
Proximities and topologies
The law of ``all or nothing in a coin tossing game
Asymptotics in a Hardy field
A propos du sens des textes mathématiques un exemple: La théorie des bifurcations dynamiques
Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST
The computational content of nonstandard analysis
On the analytical and approximate solutions of \(\epsilon y=yy'\)
Gödel's contribution to the justification of Leibniz' notion of the infinitesimals
A theory of hyperfinite sets
A new extension of the Riemann integral
Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe
On the quotient class of non-Archimedean fields
Nonstandard finite-dimensional analogs of operators in \(L_ 2(R^ n)\)

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)