Browsing Workshops 2020 by MSC "03"

Now showing items 1-3 of 3

    • 2046 - Mathematical Logic: Proof Theory, Constructive Mathematics (hybrid meeting) 

      [OWR-2020-34] Workshop Report 2020,34 (2020) - (08 Nov - 14 Nov 2020)
      The Workshop "Mathematical Logic: Proof Theory, Constructive Mathematics" focused on proofs both as formal derivations in deductive systems as well as on the extraction of explicit computational content from given ...

    • 2003 - Model Theory: Groups, Geometries and Combinatorics 

      [OWR-2020-2] Workshop Report 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, ...

    • 2015 - Set Theory (online meeting) 

      [OWR-2020-14] Workshop Report 2020,14 (2020) - (05 Apr - 11 Apr 2020)
      Set theory continues to experience dramatic progress, both in pure set theory, with its fundamental techniques of forcing, large cardinals, and inner model theory, and in applied set theory, with its deep connections to ...