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
Canard solutions in degenerate inflexion points
Nonstandardness and the bounded functional interpretation
Scale-free analysis and the prime number theorem
Realism, nonstandard set theory, and large cardinals
A parameter method for linear algebra and optimization with uncertainties
Model approach to nonstandard analysis in the context of axiomatic set theory
Computability theory, nonstandard analysis, and their connections
An axiomatics for nonstandard set theory, based on von Neumann-Bernays-Gödel theory
Smooth approximations by continuous choice-functions
Internal approach to external sets and universes. III. Partially saturated universes
On the extension principle in internal set theory
Elliptic sectors and Euler discretization
Overstable solutions to slow-fast complex differential equations at the turning point
Cyclic monads and their application
A variant of nonstandard convex programming
Relative arithmetic
Periodic wave shock solutions of Burgers equations
Near equivalence on metric spaces and a nonstandard central limit theorem
Hyperfinite approximations of compact groups and their representations
Elementary stochastic calculus for finance with infinitesimals
Nonstandard Analysis of the Behavior of Ergodic Means of Dynamical Systems on Very Big Finite Probability Spaces

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)