Browsing Workshops 2011 by MSC "03"

Now showing items 1-3 of 3

    • 1145 - Mathematical Logic: Proof Theory, Constructive Mathematics 

      [OWR-2011-52] Workshop Report 2011,52 (2011) - (06 Nov - 12 Nov 2011)
      The workshop “Mathematical Logic: Proof Theory, Constructive Mathematics” was centered around proof-theoretic aspects of current mathematics, constructive mathematics and logical aspects of computational complexity.

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

      [OWR-2011-11] Workshop Report 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 ...

    • 1102 - Set Theory 

      [OWR-2011-2] Workshop Report 2011,2 (2011) - (09 Jan - 15 Jan 2011)
      This stimulating workshop exposed some of the most exciting recent develops in set theory, including major new results about the proper forcing axiom, stationary reflection, gaps in P(ω)/Fin, iterated forcing, the tree ...