Department of Mathematics
Symposium on Constructivity and Computability
in Algebra, Analysis, Logic and Topology
Uppsala, 9-10 June 2011
The final programme is available
Some slides, notes and papers related to presentations during the symposium
Constructive finite free resolutions
(presentation by abstract).
Constructive embeddings of intermediate logics.
Links to cited
Nonstandard analysis and Brouwer's continuity principle
Algebraic representation of higher order functions.
Extension of Scott's information systems to regular and T1 spaces.
July 22, 2011,