Metamathematical problems

DOI10.2307/2273049zbMATH Open0289.02002OpenAlexW4238183324MaRDI QIDQ4777249FDOQ4777249

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)

Cites Work

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

Cited In (14)

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

This page was built for publication: Metamathematical problems

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