Metamathematical problems

DOI10.2307/2273049zbMath0289.02002OpenAlexW4238183324MaRDI QIDQ4777249

Abraham Robinson

Publication date: 1973

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2273049

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) General logic (03B99) Model theory (03Cxx)

Related Items

On a question of Abraham Robinson, The syntax of nonstandard analysis, New Decidable Fields of Algebraic Numbers, In memoriam: Lawrence Allen Zalcman (1943--2022), A criterion for normality in \(\mathbb{C}^ n\), Abraham Robinson, 1918-1974, Bloch's principle, A functional interpretation for nonstandard arithmetic, The model theory of differential fields revisited, Normal families: New perspectives, Definability of the ring of integers in pro-\(p\) Galois extensions of number fields, Bounds in the theory of polynomial rings over fields. A nonstandard approach

Cites Work

• Über Polynomabbildungen
• Diophantine Problems Over Local Fields I
• A notion of effectiveness in arbitrary structures
• On the representation of Herbrand functions in algebraically closed fields
• Zum Symposium über die Grundlagen der Mathematik¹
• A note on systems of homogeneous algebraic equations