Metamathematical problems

DOI10.2307/2273049MaRDI QIDQ4777249zbMATH OpenOpenAlexFDO

Authors 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
• A notion of effectiveness in arbitrary structures
• Diophantine Problems Over Local Fields I
• On the representation of Herbrand functions in algebraically closed fields
• Zum Symposium über die Grundlagen der Mathematik¹
• Über Polynomabbildungen

Cited in

(16)

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

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)