Insiemi boreliani: come costruire il reticolo σ-complete generato da un insieme parzialmente ordinato, secondo Thierry Coquand e Paul Lorenzen.

  1. Home
  2. Didattica
  3. Seminari
Relatore:  Stefan Neuwirth - Université de Franche-Comté
  martedì 19 aprile 2016 alle ore 10.30 Aula M
Comincierò col presentare problema della misura di Borel nella formulazione di Lusin e la sua soluzione storica. Poi mostrerò come une costruzione più cautela della σ-algebra di Borel evita questo problema. Confronterò anche questo approccio con quello di Bishop.
 
Referente
Peter Michael Schuster
Referente esterno
Data pubblicazione
14 aprile 2016

Offerta formativa

Condividi