Applied model theory and metamathematics. An Abraham Robinson memorial problem list
From MaRDI portal
Publication:1071758
DOI10.1007/BF02760642zbMath0586.03027MaRDI QIDQ1071758
Publication date: 1984
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Banach spacesBrownian motionfree groupsgroup theorymeasure theoryopen problemsprofinite groupsdifferentially closed fieldsBounds in algebradefinable sets of realsdiophantine geometryhomomorphic model theory
Model theory (03C99) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Model-theoretic forcing (03C25) Nonstandard models (03H99)
Related Items (2)
Zur Modelltheorie von Kranzprodukten. (On the model theory of wreath products) ⋮ Direct products and elementary equivalence of polycyclic-by-finite groups.
Cites Work
- Bounds in the theory of polynomial rings over fields. A nonstandard approach
- Équivalence élémentaire entre groupes finis-par-abéliens de type fini
- Topological Frobenius groups
- Finiteness theorems for abelian varieties over number fields.
- The proof of the Mordell conjecture
- A global intrinsic characterization of Brownian local time
- Commutator equations in free groups
- Nonstandard analysis - recent developments
- On the finiteness theorem of Siegel and Mahler concerning diophantine equations
- Model theory and algebra. A memorial tribute to Abraham Robinson
- Abraham Robinson 1918-1974
- A non-standard representation for Brownian motion and Ito integration
- A Banach space with few operators
- On prosupersolvable groups
- Model theory
- Introduction to model theory and to the metamathematics of algebra
- An infinitesimal approach to stochastic analysis
- Definable sets in ordered structures
- Remarks on Bimeasures
- Decidability and undecidability theorems for PAC-fields
- Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
- Abraham Robinson, 1918-1974
- Some recent discoveries in the isomorphic theory of Banach spaces
- Projective model completeness
- Elementary Properties of Free Groups
- Subgroups of finite index in profinite groups
- Subgroups of finite index in profinite groups
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: Applied model theory and metamathematics. An Abraham Robinson memorial problem list
