Non-standard analysis
From MaRDI portal
Publication:5920791
zbMath0151.00803MaRDI QIDQ5920791
Publication date: 1966
Published in: Studies in Logic and the Foundations of Mathematics (Search for Journal in Brave)
applicationsnonstandard analysisnormed linear spacesmathematical logicfunctions of a complex variableboundary layer flow of viscous fluidsdistribution of stresses in an elastic bodyrederivations of Saint-Venant's hypothesistopology, functions of a real variable
Development of contemporary mathematics (01A65) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Non-Archimedean function theory (30G06) Nonstandard functional analysis (46S20) History of real functions (26-03) Nonstandard operator theory (47S20) Nonstandard measure theory (28E05) Nonstandard analysis (26E35) Research exposition (monographs, survey articles) pertaining to real functions (26-02) Nonstandard topology (54J05) Nonstandard models (03Hxx)
Related Items
Oldest paradoxes, future mathematics and mysticism, Describing limits of integrable functions as grid functions of nonstandard analysis, Infinitesimal gunk, A nonstandard method of modelling of thermoelastic periodic composites, Previsible sets for hyperfinite filtrations, The strong Lefschetz principle in algebraic geometry, Nonstandard hulls of ordered vector spaces, Equational bases for some varieties of orthomodular lattices related to states, Infinitely small quantities in Cauchy's textbooks, The syntax of nonstandard analysis, Interval neutrosophic prioritized OWA operator and its application to multiple attribute decision making, Splitting the Cartesian point, A smooth version of the Zariski topos, The continuity program between Cantor and nonstandard analysis., Small oscillations of the pendulum, Euler's method, and adequality, Who gave you the Cauchy-Weierstrass tale? The dual history of rigorous calculus, Stevin numbers and reality, Ten misconceptions from the history of analysis and their debunking, Propagation of microcontinuity for nonstandard polynomials, Vanishing of derived limits of non-standard inverse systems, On the homology of compact spaces by using non-standard methods, The definability of fields, Enlargements of functional algebras for the lambda calculus, A characterization of the Menger property by means of ultrafilter convergence, New non-standard topologies, On equating the difference between optimal and marginal values of general convex programs, Gauss on infinity, A representative individual from Arrovian aggregation of parametric individual utilities, An extension of the Brown-Robinson equivalence theorem, A regular metrizable boundary for solutions of elliptic and parabolic differential equations, Illustrations of Zanaboni's formulation of Saint-Venant's principle, Subjective expected utility: A review of normative theories, Calculus in the ring of Fermat reals. I: Integral calculus, The notion of infinite measuring number and its relevance in the intuition of infinity, On the possible and stable psychophysical laws, A construction of representing measures for elliptic and parabolic differential equations, Approximation properties and existential completeness for ring morphisms, Infinitesimals and infinites in the history of mathematics: a brief survey, Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems, Characterization of distributions having a value at a point in the sense of Robinson, On the modelling of thermo-unelastic periodic composites: Microlocal parameter theory, Peirce's place in mathematics, First steps towards an equilibrium theory for Lévy financial markets, Duck-shaped solutions and winding., From discrete to continuous time, Proof normalization with nonstandard objects, The dialectics of infinitism and coherentism: inferential justification versus holism and coherence, Leibniz's infinitesimals: their fictionality, their modern implementations, and their foes from Berkeley to Russell and beyond, Nonstandard methods in large-scale topology, The local structure of nonstandard representatives of distributions, Synthetic Hamiltonian mechanics, What does a conditional knowledge base entail?, Extended use of IST, Probabilities defined on standard and non-standard cylindric set algebras, The category of Colombeau algebras, An epistemological use of nonstandard analysis to answer Zeno's objections against motion, Definite values of infinite sums: Aspects of the foundations of infinitesimal analysis around 1820, A non-standard analysis of a cultural icon: the case of Paul Halmos, Canards and rakes, Correlated equilibrium existence for infinite games with type-dependent strategies, Standard and nonstandard polynomial approximation, Implicit differentiation with microscopes, Differentials, higher-order differentials and the derivative in the Leibnizian calculus, Discrete buckling model for corrugated beam, Measuring the efficiency of decision making units, From a lattice to its ideal lattice, On the finiteness theorem of Siegel and Mahler concerning diophantine equations, Rational choice and polynomial measurement models, Minimal conditions for additive conjoint measurement and qualitative probability, When do two Banach spaces have isometrically isomorphic nonstandard hulls, On a class of valuation fields introduced by A. Robinson, Abraham Robinson 1918-1974, Synergy of homomorphisms in relational systems, Applications of nonstandard analysis to ideal boundaries in potential theory, Non standard analysis and the compactification of groups, Nonstandard hulls of Banach spaces, Nonstandard principles for generalized functions, Adolph Pavolovich Yushkevich on the occasion of his eightieth birthday, A non-standard representation for Brownian motion and Ito integration, Non-standard stochastics with a first order algebraization, The power of chaos, Hypernumbers. II. Further concepts and computational applications, DEA congestion and returns to scale under an occurrence of multiple optimal projections, Approximations of mappings into a group, Cauchy and the continuum: the significance of non-standard analysis for the history and philosophy of mathematics, A general framework for cosmological quantum theory, Nonstandard utilities for lexicographically decomposable orderings, An application of non-standard model theory, Exaggeration, Complete regularity as a separation axiom, A comparative investigation of certain difference equations and related differential equations: Implications for model-building, Elementary non-Archimedean utility theory, A logical study of the correspondence relation, Correspondence as an intertheory relation, Loeb-measurable solutions to *finite games, The canard unchained or how fast/slow dynamical systems bifurcate, Existence of Lindahl equilibria in measure theoretic economies without ordered preferences, Topological Frobenius groups, Hyperfinite quantum random walks., On the analytical and approximate solutions of \(\epsilon y=yy'\), Eine nichtarchimedische Erweiterung angeordneter Körper, Superreals and superfunctions, CONSTRUCTING NONSTANDARD HULLS AND LOEB MEASURES IN INTERNAL SET THEORIES, Rough sets, The 1966 International Congress of Mathematicians: A Micro-memoir, Relational Differential Dynamic Logic, Pointwise analysis of scalar fields: A nonstandard approach, Canards existence in Memristor's circuits, On nonstandard models in higher order logic, The Philosophical Impact of the Löwenheim-Skolem Theorem, Compactification of groups and rings and nonstandard analysis, Nonstandard Analysis, Infinitesimals, and the History of Calculus, EDWARD NELSON (1932–2014), Discrete and continuum modelling of delamination processes, End compactifications and general compactifications, Scott incomplete Boolean ultrapowers of the real line, Infinitesimal analysis without the axiom of choice, A New Extension of the Riemann Integral, On periodic travelling waves of equations with viscosity coefficient of variable sign, STRICT FINITISM, FEASIBILITY, AND THE SORITES, A characterization of pre-near-standardness in locally convex linear topological spaces, Leibniz’s Rigorous Foundations of the Method of Indivisibles, On a non‐standard construction of haar measure, Standard foundations for nonstandard analysis, Preservation in many-valued truth institutions, Weak compactness in normed linear spaces, Nonstandard topology and extensions of monad systems to infinite points, Equality and Near-Equality in a Nonstandard World, Stateful Realizers for Nonstandard Analysis, 19th-century real analysis, forward and backward, Three case studies in current Leibniz scholarship, On the Herbrand functional interpretation, Steps toward a philosophy for mathematicians, Effective infinitesimals in \(\mathbb{R}\), The allure of infinitesimals: Sergio Albeverio and nonstandard analysis, Unnamed Item, Do simple infinitesimal parts solve Zeno's paradox of measure?, Inverse Function Theorems for Generalized Smooth Functions, Unnamed Item, Preservation properties for products and sums of metric structures, Large-\( N\) limits of spaces and structures, A nonstandard invariant of coarse spaces, The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces, Sampled-data consensus of general linear multi-agent systems under switching topologies: averaging method, A New Approach to Nonstandard Analysis, Toward A Convergence Theory For Continuous Stochastic Securities Market Models1, Nonstandard topological extensions, First-order definability in modal logic, Boolean algebraic structure on [0,1], From Nonstandard Analysis to Various Flavours of Computability Theory, The Absolute Arithmetic Continuum and the Unification Of all Numbers Great and Small, Weyl and Intuitionistic Infinitesimals, Unnamed Item, Nonstandard hulls of lattice-normed ordered vector spaces, BOUNDED POLYNOMIALS AND HOLOMORPHIC MAPPINGS BETWEEN CONVEX SUBRINGS OF *, Coarse-grained spin density-functional theory: Infinite-volume limit via the hyperfinite, Reflection principles for synthetic theories of smooth manifolds, A nonstandard construction of direct limit group actions, Hyperspace fermions, Möbius transformations, Krein space, fermion doubling, dark matter, On Discourses Addressed by Infidel Logicians, A nonstandard approach to the micromodelling of large deformations in incompressible elastic-plastic composites, VALUED DEFORMATIONS OF ALGEBRAS, Microlocal parameters in a modelling of microperiodic multilayered elastic plates, Constructive nonstandard representations of generalized functions, Expected qualitative utility maximization, Realism, nonstandard set theory, and large cardinals, A topological interpretation of three Leibnizian principles within the functional extensions, Fragment of Nonstandard Analysis with a Finitary Consistency Proof, The surfaces capable of division into infinitesimal squares by their curves of curvature: a nonstandard-analysis approach to classical differential geometry., Measurement theory in local quantum physics, Standardization principle of nonstandard universes, STANDARD BIORTHOGONAL SYSTEMS IN THE ENLARGEMENT OF A NORMED SPACE, COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS, Calculus Limits Unified and Simplified, Meeting of the Association for Symbolic Logic, New York, 1979, The Dedekind reals in abstract Stone duality, Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL, Infinite-dimensional linear algebra and solvability of partial differential equations, Nonstandard natural number systems and nonstandard models, Reasoning through doing. Epistemic mediators in scientific discovery, How to Restore Compactness into Probabilistic Logics?, Hyperlinear and Sofic Groups: A Brief Guide, The isomorphism property in nonstandard analysis and its use in the theory of Banach spaces, Exceptions and counterexamples: understanding Abel's comment on Cauchy's theorem, From Probability Measures to Each Lévy Triplet and Back, Poisson's fundamental theorem of calculus via Taylor's formula, ON THE FOUNDATIONS OF MATHEMATICAL ECONOMICS, Probabilistic Modeling of Default Reasoning, AN INTRODUCTION TO DSmT FOR INFORMATION FUSION, Asymmetric completions of partial metric spaces, Back to classics: teaching limits through infinitesimals, Procedures of Leibnizian infinitesimal calculus: an account in three modern frameworks, 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
