Applied model theory and metamathematics. An Abraham Robinson memorial problem list
type: Item
instance of: scholarly article
title: Applied model theory and metamathematics. An Abraham Robinson memorial problem list
zbMATH Open document ID: 0586.03027
DOI: 10.1007/BF02760642
published in: Israel Journal of Mathematics
publication date: 1984-01-01T00:00:00Z
review text: ''Abraham Robinson established a way of thinking; of looking at model theory not only as a framework for mathematics, but as a theory which can contribute penetrating specific results is a wide variety of subjects.'' This paper lists a set of important open problems in diverse areas of mathematics, which the author believes might benefit from Robinson's viewpoint. Detailed suggestions on possible approaches for solutions are made for several of them. The areas of the problems are: Bounds in algebra, diophantine geometry, definable sets of reals, Banach spaces, measure theory and Brownian motion, differentially closed fields, group theory, free groups, profinite groups and homomorphic model theory.
Mathematics Subject Classification ID: 03C99
Mathematics Subject Classification ID: 03H99
Mathematics Subject Classification ID: 03-02
Mathematics Subject Classification ID: 03C25
zbMATH DE Number: 3939339
zbMATH Keywords: open problems
zbMATH Keywords: Bounds in algebra
zbMATH Keywords: diophantine geometry
zbMATH Keywords: definable sets of reals
zbMATH Keywords: Banach spaces
zbMATH Keywords: measure theory
zbMATH Keywords: Brownian motion
zbMATH Keywords: differentially closed fields
zbMATH Keywords: group theory
zbMATH Keywords: free groups
zbMATH Keywords: profinite groups
zbMATH Keywords: homomorphic model theory
author: Larry Michael Manevitz
MaRDI profile type: Publication
cites work: Subgroups of finite index in profinite groups
cites work: A non-standard representation for Brownian motion and Ito integration
cites work: The proof of the Mordell conjecture
cites work: Model theory
cites work: Decidability and undecidability theorems for PAC-fields
cites work: Bounds in the theory of polynomial rings over fields. A nonstandard approach
cites work: Finiteness theorems for abelian varieties over number fields.
cites work: Topological Frobenius groups
cites work: Q4143561
cites work: Nonstandard analysis - recent developments
cites work: An infinitesimal approach to stochastic analysis
cites work: Q3858231
cites work: Remarks on Bimeasures
cites work: Q3309989
cites work: Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory
cites work: Abraham Robinson, 1918-1974
cites work: Q4760210
cites work: Q3775531
cites work: Abraham Robinson 1918-1974
cites work: Équivalence élémentaire entre groupes finis-par-abéliens de type fini
cites work: Q3950727
cites work: On prosupersolvable groups
cites work: A global intrinsic characterization of Brownian local time
cites work: Definable sets in ordered structures
cites work: Commutator equations in free groups
cites work: Q4079589
cites work: Q5659672
cites work: Introduction to model theory and to the metamathematics of algebra
cites work: Q5848176
cites work: On the finiteness theorem of Siegel and Mahler concerning diophantine equations
cites work: Some recent discoveries in the isomorphic theory of Banach spaces
cites work: Elementary Properties of Free Groups
cites work: Projective model completeness
cites work: Model theory and algebra. A memorial tribute to Abraham Robinson
cites work: A Banach space with few operators
cites work: Q3048817
cites work: Q4753895
description: scientific article; zbMATH DE number 3939339