Browsing Workshops 2009 by MSC "03"

Now showing items 1-2 of 2

0946c - Mini-Workshop: Feinstrukturtheorie und Innere Modelle

[OWR-2009-51] Workshop Report 2009,51 (2009) - (08 Nov - 14 Nov 2009)

This workshop presented recent advances in ﬁne structure and inner model theory. There were extended tutorials on hod mice and the Mouse Set Conjecture, suitable extender sequences and their ﬁne structure, and the construction ...
0946b - Mini-Workshop: Formal Methods in Commutative Algebra: A View Toward Constructive Homological Algebra

[OWR-2009-50] Workshop Report 2009,50 (2009) - (08 Nov - 14 Nov 2009)

The purpose of the mini-workshop is to bring into the same place diﬀerent mathematical communities that study constructive homological algebra and are motivated by diﬀerent applications (e.g., constructive algebra, symbolic ...