zbMath0151.00803MaRDI QIDQ5920791
Abraham Robinson
Publication date: 1966
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
Is Leibnizian calculus embeddable in first order logic? ⋮
Toward a history of mathematics focused on procedures ⋮
Gregory's sixth operation ⋮
Cauchy's infinitesimals, his sum theorem, and foundational paradigms ⋮
Fermat's dilemma: Why did he keep mum on infinitesimals? and the European theological context ⋮
Nonstandard Fock spaces ⋮
Dynamical real numbers and living systems ⋮
Forcing in nonstandard analysis ⋮
A real-valued measure on non-Archimedean field extensions of \(\mathbb{R}\) ⋮
Refining the taming of the reverse mathematics zoo ⋮
Arithmetically independent integers and values of rational functions ⋮
A footnote to ``The crisis in contemporary mathematics ⋮ A constructive approach to nonstandard analysis ⋮ A logic with approximate conditional probabilities that can model default reasoning ⋮ Explicit algebraic models for constructive and classical theories with non-standard elements ⋮ A sheaf-theoretic foundation for nonstandard analysis ⋮ Nonstandard analysis of ordered sets ⋮ Smooth infinitesimals in the metaphysical foundation of spacetime theories ⋮ Tools, objects, and chimeras: Connes on the role of hyperreals in mathematics ⋮ Osculating circle with microscopes within microscopes ⋮ A Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiography ⋮ Properties of classes of \(\alpha\)-standard elements ⋮ Hidden lemmas in Euler's summation of the reciprocals of the squares ⋮ Sur l'équation aux différences affine du premier ordre unidimensionnelle. (On the first order linear non-homogeneous difference equation in one dimension.) ⋮ Logical quantization of differential geometry ⋮ Asymptotic linear -- nonlinear duality, indeterminism and mathematical intelligence ⋮ Discrete circle actions: A note using non-standard analysis ⋮ Measurement-theoretic justification of connectives in fuzzy set theory ⋮ Nonstandard extensions of uniform algebraic systems ⋮ Historical and philosophical notices on the continuum ⋮ Simple nonstandard proofs of Daniell-Kolmogorov-type theorems ⋮ Periodic words connected with the tribonacci-Lucas numbers ⋮ Representing measures in potential theory and an ideal boundary ⋮ Zur Existenz eines Spielwertes bei Spielen auf kompakten Räumen mit stetiger Auszahlungsfunktion ⋮ Set theory and the analyst ⋮ Cauchy's work on integral geometry, centers of curvature, and other applications of infinitesimals ⋮ Metric completions, the Heine-Borel property, and approachability ⋮ Foundational aspects of multiscale digitization ⋮ An intuitive approach to the Martin boundary ⋮ Differential calculus and integration of generalized functions over membranes ⋮ The present situation in quantum theory and its merging with general relativity ⋮ Leibniz's syncategorematic infinitesimals. II: Their existence, their use and their role in the justification of the differential calculus ⋮ Divergent mathematical treatments in utility theory ⋮ A new class of scale free solutions to linear ordinary differential equations and the universality of the golden mean \((\sqrt 5-1)/2=0.618033\dots \) ⋮ The golden mean, scale free extension of real number system, fuzzy sets and \(1/f\) spectrum in physics and biology ⋮ Topological and algebraic structures on the ring of Fermat reals ⋮ Fair infinite lotteries ⋮ A note on non-classical nonstandard arithmetic ⋮ Alpha-theory: An elementary axiomatics for nonstandard analysis ⋮ Ultralarge lotteries: analyzing the lottery paradox using non-standard analysis ⋮ Grid functions of nonstandard analysis in the theory of distributions and in partial differential equations ⋮ Classical mechanics as quantum mechanics with infinitesimal \(\hslash\) ⋮ On the quantum mechanical description of thermal equilibrium in terms of relative-phase interactions ⋮ The notion of variable quantities \(\omega\) in Bolzano's early works ⋮ The role of a posteriori mathematics in physics ⋮ Internal sets and internal functions in Colombeau theory ⋮ Toward a clarity of the extreme value theorem ⋮ \(p\)-adic physics, non-well-founded reality and unconventional computing ⋮ Higher derivative discontinuous solutions to linear ordinary differential equations: a new route to complexity? ⋮ Reflexive games and non-Archimedean probabilities ⋮ Proofs and retributions, or: why Sarah can't take limits ⋮ Belief systems and partial spaces ⋮ An alternative mathematical foundation for statistics ⋮ Equilibria without the survival assumption ⋮ Hausdorff compactifications ⋮ Bolzano's infinite quantities ⋮ Automated non-monotonic reasoning in System \textbf{P} ⋮ Cauchy and the infinitely small ⋮ Homomorphisms between rings with infinitesimals and infinitesimal comparisons ⋮ A characterization of internal sets ⋮ Invariante Unterräume von polynom-kompakten Operatoren ⋮ On the independence of core-equivalence results from Zermelo-Fraenkel set theory ⋮ Infinitesimals via Cauchy sequences: refining the classical equivalence ⋮ Reverse formalism 16 ⋮ The monotonic sequence theorem and measurement of lengths and areas in axiomatic non-standard hyperrational analysis ⋮ Tremples in the Bayesian foundations of solution concepts of games ⋮ Back and forth between continuous and discrete for the working computer scientist ⋮ Torus cannot collapse to a segment ⋮ Elementary embeddings of fields of power series ⋮ On the construction of subinvariant weakly additive set-functions ⋮ Chebyshev approximations and the theory of models ⋮ The metaphysics of the calculus: A foundational debate in the Paris Academy of Sciences, 1700-1706 ⋮ Invariant means via the ultrapower ⋮ Ein Nicht-Standard-Beweis für die Existenz eines Liftings ⋮ Non-nonstandard analysis: Real infinitesimals ⋮ On abstract economies with an arbitrary set of players and action sets in locally-convex topological vector spaces ⋮ On mathematical realism and applicability of hyperreals ⋮ Projective covers as subquotients of enlargements ⋮ Phase operator problem and macroscopic extension of quantum mechanics ⋮ The strength of compactness in computability theory and nonstandard analysis ⋮ Approximate convexity of average sums of sets in normed linear spaces ⋮ Belief functions and default reasoning ⋮ Non-standard analysis in dynamic geometry ⋮ On flexible sequences ⋮ A non-Archimedean algebra and the Schwartz impossibility theorem ⋮ Limiting spherical integrals of bounded continuous functions ⋮ The flux theory of gravitation. V: The mathematics of the new physics ⋮ A nonstandard technique in combinatorial number theory ⋮ Aggregating infinitely many probability measures ⋮ The \(\gamma\) function in quantum theory. II: Mathematical challenges and paradoxa
This page was built for publication: Non-standard analysis