Browsing Workshops 2005 by MSC "03"

Now showing items 1-2 of 2

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

      [OWR-2005-14] Workshop Report 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.

    • 0549 - Set Theory 

      [OWR-2005-55] Workshop Report 2005,55 (2005) - (04 Dec - 10 Dec 2005)
      This meeting covered all important aspects of modern Set Theory, including large cardinal theory, combinatorial set theory, descriptive set theory, connections with algebra and analysis, forcing axioms and inner model ...