Synthetic Domain Theory

Course Contents

The first lecture is of a more introductory nature and will discuss the aims, successes, present limitations, and recent results of synthetic domain theory.

Synthetic domain theory represents a programme of research initiated by Dana Scott in the late '70's into a categorical formulation of domain theory with the property that

• domains are specific sets
• between these ALL functions are continuous
• all constructions are based on the type theory of the universe of sets, with no mention of the order-theoretic properties.

These seemingly paradoxical requirements can be met in suitable intuitionistic set theory.

Programme

Monday March 6, 1995, 16:15-17:00 in ØVG31

Tuesday March 7, 1995, 15:15-16:00 in Colloquium G4

Wednesday March 8, 1995, 15:15-16:00 in Colloquium G

Friday March 10, 1995, 14:15-15:00 in Colloquium G3

Monday March 13, 1995, 14:15-15:00 in ØVB11