scientific article; zbMATH DE number 3559571

From MaRDI portal
Publication:4132530

zbMath0359.02060MaRDI QIDQ4132530

Martin Davis

Publication date: 1977


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items

Nonstandard extension of quantum logic and Dirac's bra-ket formalism of quantum mechanicsCauchy's infinitesimals, his sum theorem, and foundational paradigmsNonstandard Fock spacesForcing in nonstandard analysisFinding irreducible components of some real transcendental varietiesNonstandard hulls of ordered vector spacesFUZZY LOGIC, FUZZY SETS, AND NATURAL LANGUAGESA variant of nonstandard convex programmingThe use of double nonstandard enlargements in topologyLocal microcontinuity of nonstandard polynomialsNonstandard analysis of ordered setsTools, objects, and chimeras: Connes on the role of hyperreals in mathematicsA Burgessian critique of nominalistic tendencies in contemporary mathematics and its historiographyComplexity lower bounds for computation trees with elementary transcendental function gatesStevin numbers and realityInduced representations and hypercomplex numbersOn the valuation field invented by A. Robinson and certain structures connected with itUltrafilters maximal for finite embeddabilityTen misconceptions from the history of analysis and their debunkingNonstandard methods in combinatorics and theoretical computer scienceThe space of state vectors: A hyperfinite approachDiscrete circle actions: A note using non-standard analysisNonstandard (non-\(\sigma\)-additive) probabilities in algebraic quantum field theoryNonstandard Analysis and Lattice Statistical Mechanics: A Variational PrincipleHilbert's fifth problem for local groupsOn fixed-point sets of nonexpansive mappings in nonstandard hulls and Banach space ultrapowersOn periodic travelling waves of equations with viscosity coefficient of variable signEnlargements of functional algebras for the lambda calculusUnnamed ItemDeveloping a mathematical theory of computability which speaks the language of levelsFlat setsMultiplication of distributions and algebras of mnemofunctionsMetric completions, the Heine-Borel property, and approachabilityStochastic quantization: A reviewA nonstandard approach to asymptotic fixed point theoremsEquilibria with nonstandard prices in vector lattice overlapping generations economies.New directions for nominalist philosophers of mathematicsHypercomplex representations of the Heisenberg group and mechanicsStability of Systems of General Functional Equations in the Compact-Open TopologyDivergent mathematical treatments in utility theoryDefaults and infinite prices in a stochastic pure exchange modelA Nonstandard Description of Wealth Concentration in Large-Scale EconomiesA grid function formulation of a class of ill-posed parabolic equationsAlgebraic combinatorics in bounded inductionAlpha-theory: An elementary axiomatics for nonstandard analysisA simple proof of the ergodic theorem using nonstandard analysisNonstandard methods in measure theoryAveraging of systems containing strongly oscillating functions of phase variablesMINIMAL AXIOMATIC FRAMEWORKS FOR DEFINABLE HYPERREALS WITH TRANSFERMy Life as a LogicianTaking Physical Infinity SeriouslyCoarse-grained spin density-functional theory: Infinite-volume limit via the hyperfiniteSimple nests invariant by compact self-adjoint operators: A nonstandard approachThe complexity of deciding consistency of systems of polynomials in exponent inequalities\(\mathcal {F}\)-finite embeddabilities of sets and ultrafiltersProbabilities defined on standard and non-standard cylindric set algebrasRadon-Nikodym theorem in signed Loeb spaceModel approach to nonstandard analysis in the context of axiomatic set theoryA non-standard analysis of a cultural icon: the case of Paul HalmosFunction spaces, cartesian closedness and nonstandard methodsAn axiomatics for nonstandard set theory, based on von Neumann–Bernays–Gödel TheoryA nonstandard result about path continuityOn the existence of solutions to stochastic differential equations on Loeb spacesRealism, nonstandard set theory, and large cardinalsMathematical representations of the dynamics of social system. I: General descriptionEquilibria without the survival assumptionNon-standard stochastics with a first order algebraizationUnnamed ItemНекоторые замечания о нестандартных методах анализа. I``Canard cycles of fast-slow fields with one-dimensional slow componentBack and forth between continuous and discrete for the working computer scientistOn the construction of subinvariant weakly additive set-functionsExistence of time evolutions of non-equilibrium states in statistical mechanicsWeak invariance principles for local timeGordon's conjectures 1 and 2: Pontryagin-van Kampen duality in the hyperfinite settingInfinite-dimensional linear algebra and solvability of partial differential equationsО дифференциальных операторах и дифференциальных уравнениях на тореNon-standard analysis in dynamic geometryA Leibniz differentiation formula for positive operatorsA note on the notion much biggerA new variational principleGödel's contribution to the justification of Leibniz' notion of the infinitesimalsTopological Frobenius groupsNumerosities of labelled sets: A new way of countingCharacterizing the common prior assumption.A local stability principle for continuous group homomorphisms in nonstandard settingGordon's Conjecture 3: Fourier transforms in the hyperfinite settingHyperfinite quantum random walks.