Nonstandard arithmetic

DOI10.1090/S0002-9904-1967-11809-3zbMath0189.28403OpenAlexW4245732688MaRDI QIDQ5583838

Abraham Robinson

Publication date: 1967

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-1967-11809-3

zbMATH Keywords

algebraic logic, model theory

Related Items

Immediate and purely wild extensions of valued fields ⋮ Compactification of groups and rings and nonstandard analysis ⋮ An example of a nontrivial ring topology on the algebraic closure of a finite field ⋮ Causal modeling in impulsive systems: a new rigorous non-standard analysis approach ⋮ Weak compactness in normed linear spaces ⋮ Approximation properties and existential completeness for ring morphisms ⋮ Nonstandard Theory of Zariski Rings ⋮ Nonstandard Theory of Zariski Rings ⋮ Approximation of Strictly Singular and Strictly Cosingular Operators Using Nonstandard Analysis ⋮ Monads of Infinite Points and Finite Product Spaces ⋮ Abraham Robinson, 1918-1974 ⋮ On the finiteness theorem of Siegel and Mahler concerning diophantine equations ⋮ The forcing companions of number theories ⋮ An explicit local norm residue symbol ⋮ Nonstandard points on algebraic curves

Cites Work

• Undecidable problems of elementary number theory
• Ultraproducts in the theory of models
• Théoremes de finitude en cohomologie galoisienne
• Généralisation de la théorie du corps de classes pour les extensions infinies
• Reduced direct products
• Diophantine Problems Over Local Fields I
• Finite and infinite primes for rings and fields
• Decision procedures for real and p‐adic fields
• The completeness of the first-order functional calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item