Metamathematical problems
From MaRDI portal
Cites work
Cited in
(14)- The syntax of nonstandard analysis
- Four variations on Picard's theorem
- A functional interpretation for nonstandard arithmetic
- New Decidable Fields of Algebraic Numbers
- 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
- In memoriam: Lawrence Allen Zalcman (1943--2022)
- Normal families: New perspectives
- Bounds in the theory of polynomial rings over fields. A nonstandard approach
- Zalcman's renormalization lemma, Pinchuk's rescaling method, and Catlin's estimates revisited
- 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)