Internal set theory: A new approach to nonstandard analysis

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

Cites work

Axiom schemata of strong infinity in axiomatic set theory
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?)
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)

Asymptotics of families of solutions of nonlinear difference equations
Averaging and periodic solutions in the plane and parametrically excited pendulum
Perturbation of resonances in quantum mechanics
Gödel's contribution to the justification of Leibniz' notion of the infinitesimals
On the analytical and approximate solutions of \(\epsilon y=yy'\)
Entrée-sortie dans un tourbillon
Schrödinger operators with point interactions and short range expansions
Cyclic monads and their application
A variant of nonstandard convex programming
The syntax of nonstandard analysis
The continuity program between Cantor and nonstandard analysis.
Gaussian behavior of loop-erased self-avoiding random walk in four dimensions
Minimum time problem synthesis
Nonstandard methods in combinatorics and theoretical computer science
Solutions périodiques symétriques de l'équation de Duffing sans dissipation
Holonomie et cycle evanouissant
Duck-shaped solutions and winding.
Nonstandard analysis and compact Abelian groups
Boolean fuzzy sets
Extended use of IST
An epistemological use of nonstandard analysis to answer Zeno's objections against motion
A propos du sens des textes mathématiques un exemple: La théorie des bifurcations dynamiques
Canards and rakes
Bolzano's theory of measurable numbers 1830--1989
Propensity and necessity
Geometric interpretation of the Euclidean algorithm and recognition of segments
On the relation between elementary partial difference equations and partial differential equations
Overstable solutions to slow-fast complex differential equations at the turning point
The shock location for a class of sensitive boundary value problems
On relative nearstandardness in IST
Scale relativity, fractal space-time and quantum mechanics
The law of ``all or nothing in a coin tossing game
On a class of algebras of generalized functions. Application to differential systems
Properties of classes of \(\alpha\)-standard elements
Proximities and topologies
From binomial expectations to the Black-Scholes formula: The main ideas
Asymptotics in a Hardy field
Isomorphism property in nonstandard extensions of the Z F C universe
On an explicit duck solution and delay in the FitzHugh-Nagumo equation
Alpha-theory: An elementary axiomatics for nonstandard analysis
Definable predicates of standardness in internal set theory
Belief functions and default reasoning
Is Leibnizian calculus embeddable in first order logic?
Cauchy's infinitesimals, his sum theorem, and foundational paradigms
On a nonstandard Brownian motion and its maximal function
Refining the taming of the reverse mathematics zoo
Reverse mathematics and parameter-free transfer
Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
The Mathematical Intelligencer flunks the Olympics
To be or not to be constructive, that is not the question
Intuitionistic nonstandard bounded modified realisability and functional interpretation
A note on non-classical nonstandard arithmetic
Ultrapowers as sheaves on a category of ultrafilters
Supermanifolds and sequences of computable structures: A link via a nonstandard extension of differential geometry
Back and forth between continuous and discrete for the working computer scientist
Some artefacts of integer-computed circles
Dealing with zero-time transitions in axiom systems.
A constructive approach to nonstandard analysis
Internal approach to external sets and universes. I: Bounded set theory
Internal approach to external sets and universes. II: External universes over the universe of bounded set theory
Sur l'équation aux différences affine du premier ordre unidimensionnelle. (On the first order linear non-homogeneous difference equation in one dimension.)
Internal approach to external sets and universes. III. Partially saturated universes
Hyperfinite approximations of compact groups and their representations
Foundational aspects of multiscale digitization
On a complete rigid Leibniz non-Lie algebra in arbitrary dimension
Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST
On the quotient class of non-Archimedean fields
Proofs and retributions, or: why Sarah can't take limits
Reverse formalism 16
On rapidly oscillating solutions of a nonlinear elliptic equation
Smooth approximations by continuous choice-functions
The explicit formula for Gauss-Jordan elimination applied to flexible systems
On real resonances for three-dimensional Schrödinger operators with point interactions
An algebraic model for the propagation of errors in matrix calculus
A new approach to the \(Z\)-transform through infinite computation
The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis
Generalized solutions of variational problems and applications
On mathematical realism and applicability of hyperreals
The strength of compactness in computability theory and nonstandard analysis
On flexible sequences
Averaging on slow and fast cycles of a three time scale system
Nonstandardness and the bounded functional interpretation
Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
On the extension principle in internal set theory
A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
Periodic words connected with the tribonacci-Lucas numbers
The Caccioppoli ultrafunctions
A theory of hyperfinite sets
Ultrafunctions and applications
Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis
The Dickson conjecture and special classes of integers
Model approach to nonstandard analysis in the context of axiomatic set theory
Contractions of 2-dimensional Jordan algebras
An alternative mathematical foundation for statistics
Noise: a nonstandard analysis.
Canards existence in Memristor's circuits
A boundary value problem for a nonstandard difference operator
Nonstandard finite-dimensional analogs of operators in \(L_ 2(R^ n)\)
General theory of infinitesimals
Theory extension in ACL2(r)

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)