Nonstandard arithmetic

DOI10.1090/S0002-9904-1967-11809-3MaRDI QIDQ5583838zbMATH OpenOpenAlexFDO

Authors 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

Cites work

• scientific article; zbMATH DE number 3166227 (Why is no real title available?)
• scientific article; zbMATH DE number 3204609 (Why is no real title available?)
• scientific article; zbMATH DE number 3273251 (Why is no real title available?)
• scientific article; zbMATH DE number 3275572 (Why is no real title available?)
• scientific article; zbMATH DE number 3302267 (Why is no real title available?)
• scientific article; zbMATH DE number 3420740 (Why is no real title available?)
• scientific article; zbMATH DE number 3192066 (Why is no real title available?)
• scientific article; zbMATH DE number 3079564 (Why is no real title available?)
• Decision procedures for real and p‐adic fields
• Diophantine Problems Over Local Fields I
• Finite and infinite primes for rings and fields
• Généralisation de la théorie du corps de classes pour les extensions infinies
• Reduced direct products
• The completeness of the first-order functional calculus
• Théoremes de finitude en cohomologie galoisienne
• Ultraproducts in the theory of models
• Undecidable problems of elementary number theory

Cited in

(15)

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

This page was built for publication: Nonstandard arithmetic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5583838)