Browsing by MSC "03"

Now showing items 21-40 of 58

    • 0512 - Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics 

      [OWR-2005-14] (2005) - (20 Mar - 26 Mar 2005)
      The workshop “Mathematical Logic: Proof Theory, Type Theory and Constructive Mathematics” covered various topics of mathematical logic dealing with proofs as formal objects and computations induced by proofs.

    • 1034b - Mini-Workshop: Combinatorics on Words 

      [OWR-2010-37] (2010) - (22 Aug - 28 Aug 2010)
      The area of combinatorics on words is concerned with properties of sequences of symbols. It is characteristic to the field that questions arise from various mathematical problems, and hence, many fundamental results on ...

    • 0618a - Mini-Workshop: Feinstrukturtheorie und Innere Modelle 

      [OWR-2006-20] (2006) - (30 Apr - 06 May 2006)
      The main aim of fine structure theory and inner model theory can be summarized as the construction of models which have a canonical inner structure (a fine structure), making it possible to analyze them in great detail, ...

    • 0946c - Mini-Workshop: Feinstrukturtheorie und Innere Modelle 

      [OWR-2009-51] (2009) - (08 Nov - 14 Nov 2009)
      This workshop presented recent advances in fine structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their fine structure, and the construction ...

    • 0946b - Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra 

      [OWR-2009-50] (2009) - (08 Nov - 14 Nov 2009)
      The purpose of the mini-workshop is to bring into the same place different mathematical communities that study constructive homological algebra and are motivated by different applications (e.g., constructive algebra, symbolic ...

    • 0648b - Mini-Workshop: Logic, Combinatorics and Independence Results 

      [OWR-2006-52] (2006) - (26 Nov - 02 Dec 2006)
      This is a collection of extended abstracts of a mini-workshop “Logic, Combinatorics and Independence results” that took place on November 25 – December 2, 2006 in Oberwolfach. The mini-workshop was attended by 16 researchers ...

    • 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 ...

    • 1109a - Mini-Workshop: The Homotopy Interpretation of Constructive Type Theory 

      [OWR-2011-11] (2011) - (27 Feb - 05 Mar 2011)
      Over the past few years it has become apparent that there is a surprising and deep connection between constructive logic and higherdimensional structures in algebraic topology and category theory, in the form of an ...

    • 2248a - Mini-Workshop: Topological and Differential Expansions of o-minimal Structures 

      [OWR-2022-52] (2022) - (27 Nov - 03 Dec 2022)
      The workshop brought together researchers with expertise in areas of mathematics where model theory has had interesting applications. The areas of expertise spanned from expansions of o-minimal structures preserving tame ...

    • 0430 - Model Theory and Complex Analytic Geometry 

      [OWR-2004-35] (2004) - (18 Jul - 24 Jul 2004)
      The aim of the workshop was to discuss the connections between model theory and complex analytic geometry, a particularly fascinating point of interaction, where model-theoretic methods can both serve to extend the scope ...

    • 0703 - Model Theory and Groups 

      [OWR-2007-2] (2007) - (14 Jan - 20 Jan 2007)
      The aim of the workshop was to discuss the connections between model theory and group theory. Main topics have been the interaction between geometric group theory and model theory, the study of the asymptotic behaviour of ...

    • 1001 - Model Theory: Around Valued Fields and Dependent Theories 

      [OWR-2010-1] (2010) - (03 Jan - 09 Jan 2010)
      The general topic of the meeting was “Valued fields and related structures”. It included both applications of model theory, as well as so-called “pure” model theory: the classification of first order structures using new ...

    • 2302 - Model Theory: Combinatorics, Groups, Valued Fields and Neostability 

      [OWR-2023-2] (2023) - (08 Jan - 14 Jan 2023)
      The scope of contemporary model theory has expanded enormously over the last several decades, helped by the development of new tools applicable to an ever wider range of structures. In the spirit of the previous meetings ...

    • 2003 - Model Theory: Groups, Geometries and Combinatorics 

      [OWR-2020-2] (2020) - (12 Jan - 18 Jan 2020)
      The focus of the conference were recent interactions between model theory, group theory and combinatorics in finite geometries. In some cases, in particular in non-archimedean geometry or combinatorics in finite geometries, ...

    • 1302 - Model Theory: Groups, Geometry, and Combinatorics 

      [OWR-2013-1] (2013) - (07 Jan - 12 Jan 2013)
      Overall this was a high quality meeting, with carefully chosen talks fitting in with the announced themes of the workshop.

    • 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 ...

    • Monoid valuations and value ordered supervaluations 

      [OWP-2011-17] Izhakian, Zur; Knebusch, Manfred; Rowen, Louis (Mathematisches Forschungsinstitut Oberwolfach, 2011)
      We complement two papers on supertropical valuation theory ([IKR1], [IKR2]) by providing natural examples of m-valuations (= monoid valuations), after that of supervaluations and transmissions between them. The supervaluations ...

    • New representations of matroids and generalizations 

      [OWP-2011-18] Izhakian, Zur; Rhodes, John L. (Mathematisches Forschungsinstitut Oberwolfach, 2011)
      We extend the notion of matroid representations by matrices over fields by considering new representations of matroids by matrices over finite semirings, more precisely over the boolean and the superboolean semirings. This ...

    • 1245a - Non-Archimedean Analytic Geometry 

      [OWR-2012-53] (2012) - (04 Nov - 10 Nov 2012)
      The workshop focused on recent developments in non-Archimedean analytic geometry with various applications to arithmetic and algebraic geometry. These applications include questions in Arakelov theory, p-adic differential ...

    • 1551 - Non-Archimedean Geometry and Applications 

      [OWR-2015-57] (2015) - (13 Dec - 19 Dec 2015)
      The workshop focused on recent developments in non-Archimedean analytic geometry with various applications to other fields, in particular to number theory and algebraic geometry. These applications included Mirror Symmetry, ...