Douglas S. Bridges: Apartness on Lattices

Tid: On 2019-09-11 kl 10.00 - 11.45

Föreläsare: Douglas S. Bridges, University of Canterbury, Christchurch, New Zealand

Plats: Kräftriket, Hus 5, Sal 16

Abstract

I shall present the outlines of a lifting of the theory of apartness between sets to a more general, pointfree (pointless?) theory of apartness on certain lattices. The framework is Bishop’s constructive mathematics.

Innehållsansvarig:webmaster@math.kth.se
Tillhör: Institutionen för matematik
Senast ändrad: 2019-09-06