Internal set theory: A new approach to nonstandard analysis
From MaRDI portal
Publication:4149449
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)- Canard solutions in degenerate inflexion points
- On Non-linear Optimization with a Perturbed Objective Function
- Free-variable axiomatic foundations of infinitesimal analysis: A fragment with finitary consistency proof
- A First Look into a Formal and Constructive Approach for Discrete Geometry Using Nonstandard Analysis
- Nonstandardness and the bounded functional interpretation
- Propensity and necessity
- Generalized solutions of variational problems and applications
- Foundations of fuzzy sets: A nonstandard approach
- Scale-free analysis and the prime number theorem
- Model approach to nonstandard analysis in the context of axiomatic set theory
- The syntax of nonstandard analysis
- Realism, nonstandard set theory, and large cardinals
- A parameter method for linear algebra and optimization with uncertainties
- 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
- Computability theory, nonstandard analysis, and their connections
- On the extension principle in internal set theory
- Insight in discrete geometry and computational content of a discrete model of the continuum
- Functions of limited accumulation
- An epistemological use of nonstandard analysis to answer Zeno's objections against motion
- Overstable solutions to slow-fast complex differential equations at the turning point
- Contractions of 2-dimensional Jordan algebras
- Cyclic monads and their application
- Elliptic sectors and Euler discretization
- Boolean fuzzy sets
- A variant of nonstandard convex programming
- A simple algebraic characterization of nonstandard extensions
- On mathematical realism and applicability of hyperreals
- Relative arithmetic
- Discrete buckling model for corrugated beam
- Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers
- A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography
- Hyperfinite approximations of compact groups and their representations
- Near equivalence on metric spaces and a nonstandard central limit theorem
- Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis
- Periodic wave shock solutions of Burgers equations
- Ultrafunctions and applications
- Geometric interpretation of the Euclidean algorithm and recognition of segments
- Cauchy's infinitesimals, his sum theorem, and foundational paradigms
- Is Leibnizian calculus embeddable in first order logic?
- Refining the taming of the reverse mathematics zoo
- The continuity program between Cantor and nonstandard analysis.
- Nonstandard Analysis of the Behavior of Ergodic Means of Dynamical Systems on Very Big Finite Probability Spaces
- Elementary stochastic calculus for finance with infinitesimals
- The Mathematical Intelligencer flunks the Olympics
- Special Model Axiom in Nonstandard Set Theory
- On flexible sequences
- Nonstandard proof methods in toposes
- The Caccioppoli ultrafunctions
- Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks
- RIGOUR AND PROOF
- Champs lents-rapides complexes à une dimension lente
- Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics
- Discretisations of higher order and the theorems of Faà di Bruno and deMoivre-Laplace
- The strength of compactness in computability theory and nonstandard analysis
- A functional interpretation for nonstandard arithmetic
- Duck-shaped solutions and winding.
- Ultrasheaves and double negation
- Weyl and Intuitionistic Infinitesimals
- A new approach to the \(Z\)-transform through infinite computation
- On a sequence formed by iterating a divisor operator.
- Back and forth between continuous and discrete for the working computer scientist
- Spectral aspect subconvex bounds for \(U_{n+1} \times U_n\)
- An irreducible component of the variety of Leibniz algebras having trivial intersection with the variety of Lie algebras
- Point perturbations in constant curvature spaces
- Entrée-sortie dans un tourbillon
- Fragment of Nonstandard Analysis with a Finitary Consistency Proof
- Asymptotics of families of solutions of nonlinear difference equations
- Quantum fields and point interactions
- Reverse mathematics and parameter-free transfer
- A new approach to nonstandard analysis
- Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus
- Sur l'équation aux différences affine du premier ordre unidimensionnelle. (On the first order linear non-homogeneous difference equation in one dimension.)
- To be or not to be constructive, that is not the question
- Dealing with zero-time transitions in axiom systems.
- The Dickson conjecture and special classes of integers
- On the Herbrand functional interpretation
- 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
- Le moiré
- Internal approach to external sets and universes. I: Bounded set theory
- On geometric ideas which lie at the foundation of quantum theory
- A boundary value problem for a nonstandard difference operator
- General theory of infinitesimals
- Belief functions and default reasoning
- Periodic words connected with the tribonacci-Lucas numbers
- On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers
- Reverse formalism 16
- On real resonances for three-dimensional Schrödinger operators with point interactions
- The explicit formula for Gauss-Jordan elimination applied to flexible systems
- On uniform spaces with invariant nonstandard hulls
- An algebraic model for the propagation of errors in matrix calculus
- On relative nearstandardness in IST
- Gaussian elimination for flexible systems of linear inclusions
- Forcing in Proof Theory
- A comparison of deformations and geometric study of varieties of associative algebras.
- Representation of integers: a nonclassical point of view
- Formalizing a discrete model of the continuum in Coq from a discrete geometry perspective
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)
