Browsing Workshops 2016 by MSC "03"
Now showing items 1-3 of 3
1643 - Definability and Decidability Problems in Number Theory [OWR-2016-49] (2016) - (23 Oct - 29 Oct 2016)This workshop brought together experts working on variations of Hilbert’s Tenth Problem and more general decidability issues for structures other than the ring of integers arising naturally in number theory and algebraic geometry.
1651c - Mini-Workshop: Surreal Numbers, Surreal Analysis, Hahn Fields and Derivations [OWR-2016-60] (2016) - (18 Dec - 23 Dec 2016)New striking analogies between H. Hahn’s fields of generalised series with real coefficients, G. H. Hardy’s field of germs of real valued functions, and J. H. Conway’s field No of surreal numbers, have been lately discovered ...
1601 - Model Theory: groups, geometry, and combinatorics [OWR-2016-1] (2016) - (03 Jan - 09 Jan 2016)This conference was about recent interactions of model theory with combinatorics, geometric group theory and the theory of valued fields, and the underlying pure model-theoretic developments. Its aim was to report on recent ...