Applied model theory and metamathematics. An Abraham Robinson memorial problem list (Q1071758): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Subgroups of finite index in profinite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A non-standard representation for Brownian motion and Ito integration / rank
 
Normal rank
Property / cites work
 
Property / cites work: The proof of the Mordell conjecture / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Decidability and undecidability theorems for PAC-fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bounds in the theory of polynomial rings over fields. A nonstandard approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Finiteness theorems for abelian varieties over number fields. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Subgroups of finite index in profinite groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Topological Frobenius groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4143561 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Nonstandard analysis - recent developments / rank
 
Normal rank
Property / cites work
 
Property / cites work: An infinitesimal approach to stochastic analysis / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3858231 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on Bimeasures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3309989 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Conversion from Nonstandard to Standard Measure Spaces and Applications in Probability Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abraham Robinson, 1918-1974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4760210 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3775531 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Abraham Robinson 1918-1974 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Équivalence élémentaire entre groupes finis-par-abéliens de type fini / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3950727 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On prosupersolvable groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: A global intrinsic characterization of Brownian local time / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable sets in ordered structures / rank
 
Normal rank
Property / cites work
 
Property / cites work: Commutator equations in free groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4079589 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5659672 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Introduction to model theory and to the metamathematics of algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5848176 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the finiteness theorem of Siegel and Mahler concerning diophantine equations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some recent discoveries in the isomorphic theory of Banach spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Elementary Properties of Free Groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Projective model completeness / rank
 
Normal rank
Property / cites work
 
Property / cites work: Model theory and algebra. A memorial tribute to Abraham Robinson / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Banach space with few operators / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3048817 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4753895 / rank
 
Normal rank

Latest revision as of 12:56, 17 June 2024

scientific article
Language Label Description Also known as
English
Applied model theory and metamathematics. An Abraham Robinson memorial problem list
scientific article

    Statements

    Applied model theory and metamathematics. An Abraham Robinson memorial problem list (English)
    0 references
    1984
    0 references
    ''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.
    0 references
    open problems
    0 references
    Bounds in algebra
    0 references
    diophantine geometry
    0 references
    definable sets of reals
    0 references
    Banach spaces
    0 references
    measure theory
    0 references
    Brownian motion
    0 references
    differentially closed fields
    0 references
    group theory
    0 references
    free groups
    0 references
    profinite groups
    0 references
    homomorphic model theory
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references