Internal set theory: A new approach to nonstandard analysis
From MaRDI portal
Publication:4149449
DOI10.1090/S0002-9904-1977-14398-XzbMath0373.02040OpenAlexW2069787050WikidataQ126372059 ScholiaQ126372059MaRDI QIDQ4149449
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
Strong limit theorems (60F15) Model theory (03C99) Axioms; other general questions in probability (60A05) One-variable calculus (26A06) Nonstandard analysis (26E35) Nonstandard models (03H99)
Related Items (only showing first 100 items - show all)
Entrée-sortie dans un tourbillon ⋮ Scale relativity, fractal space-time and quantum mechanics ⋮ Is Leibnizian calculus embeddable in first order logic? ⋮ Cauchy's infinitesimals, his sum theorem, and foundational paradigms ⋮ Schrödinger operators with point interactions and short range expansions ⋮ On a nonstandard Brownian motion and its maximal function ⋮ Insight in discrete geometry and computational content of a discrete model of the continuum ⋮ Refining the taming of the reverse mathematics zoo ⋮ Reverse mathematics and parameter-free transfer ⋮ Cyclic monads and their application ⋮ A constructive approach to nonstandard analysis ⋮ A variant of nonstandard convex programming ⋮ The syntax of nonstandard analysis ⋮ Internal approach to external sets and universes. I: Bounded set theory ⋮ The continuity program between Cantor and nonstandard analysis. ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ 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 ⋮ The Mathematical Intelligencer flunks the Olympics ⋮ 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.) ⋮ Asymptotics in a Hardy field ⋮ Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus ⋮ Gaussian behavior of loop-erased self-avoiding random walk in four dimensions ⋮ Isomorphism property in nonstandard extensions of the \(\mathbf Z\mathbf F\mathbf C\) universe ⋮ Minimum time problem synthesis ⋮ A Cauchy-Dirac delta function ⋮ Ten misconceptions from the history of analysis and their debunking ⋮ Nonstandard methods in combinatorics and theoretical computer science ⋮ On geometric ideas which lie at the foundation of quantum theory ⋮ On an explicit duck solution and delay in the FitzHugh-Nagumo equation ⋮ Internal approach to external sets and universes. III. Partially saturated universes ⋮ On fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowers ⋮ Hyperfinite approximations of compact groups and their representations ⋮ Nonstandard analysis: its creator and place ⋮ Probabilities and quantum fluctuations ⋮ A note on special cases derived from Nelson's martingale central limit theorem ⋮ To be or not to be constructive, that is not the question ⋮ Foundational aspects of multiscale digitization ⋮ Solutions périodiques symétriques de l'équation de Duffing sans dissipation ⋮ On a complete rigid Leibniz non-Lie algebra in arbitrary dimension ⋮ A decomposition theorem for neutrices ⋮ More infinity for a better finitism ⋮ Perturbations which are infinitely small in the strong operator topology ⋮ Surstabilité pour une équation différentielle analytique en dimension un. (Overstability for an analytic differential equation in dimension one) ⋮ Holonomie et cycle evanouissant ⋮ Intuitionistic nonstandard bounded modified realisability and functional interpretation ⋮ Relatively standard elements in Nelson's internal set theory ⋮ Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems ⋮ On solutions of polynomial growth of ordinary differential equations ⋮ A note on non-classical nonstandard arithmetic ⋮ Foundations of fuzzy sets: A nonstandard approach ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ A comparison of deformations and geometric study of varieties of associative algebras. ⋮ Duck-shaped solutions and winding. ⋮ Nonstandard analysis and compact Abelian groups ⋮ Extension of standard models of ZFC to models of Nelson's nonstandard set theory IST ⋮ Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond ⋮ The consistency of probabilistic regresses: some implications for epistemological infinitism ⋮ Boolean fuzzy sets ⋮ Generalized functions and non-standard analysis ⋮ Some remarks on nonstandard theory of classes ⋮ Extended use of IST ⋮ Zeno's arrow and the infinitesimal calculus ⋮ Canard solutions in degenerate inflexion points ⋮ 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 ⋮ Ultrapowers as sheaves on a category of ultrafilters ⋮ Discrete buckling model for corrugated beam ⋮ Incommensurables and incomparables: On the conceptual status and the philosophical use of hyperreal numbers ⋮ On the quotient class of non-Archimedean fields ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Point perturbations in constant curvature spaces ⋮ Le moiré ⋮ Ultrasheaves and double negation ⋮ A functional interpretation for nonstandard arithmetic ⋮ Asymptotic solutions of nonlinear difference equations ⋮ Asymptotics of families of solutions of nonlinear difference equations ⋮ Propensity and necessity ⋮ Geometric interpretation of the Euclidean algorithm and recognition of segments ⋮ 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 ⋮ Averaging and periodic solutions in the plane and parametrically excited pendulum ⋮ On the relation between elementary partial difference equations and partial differential equations ⋮ Definable predicates of standardness in internal set theory ⋮ Belief functions and default reasoning ⋮ Overstable solutions to slow-fast complex differential equations at the turning point ⋮ The shock location for a class of sensitive boundary value problems ⋮ Perturbation of resonances in quantum mechanics ⋮ On relative nearstandardness in IST ⋮ Dealing with zero-time transitions in axiom systems. ⋮ Gödel's contribution to the justification of Leibniz' notion of the infinitesimals ⋮ On the relation between two different methods to treat Hamiltonians with point interactions ⋮ On the analytical and approximate solutions of \(\epsilon y=yy'\)
Cites Work
This page was built for publication: Internal set theory: A new approach to nonstandard analysis
