Browsing Workshops 2011 by MSC "03"
Now showing items 1-3 of 3
1145 - Mathematical Logic: Proof Theory, Constructive Mathematics [OWR-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] (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] (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 ...