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

  1. Home
  2. Teaching
  3. Seminars
Speaker:  Stefan Neuwirth - Université de Franche-Comté
  Tuesday, April 19, 2016 at 10:30 AM 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.
 
Programme Director
Peter Michael Schuster
External reference
Publication date
April 14, 2016

Studying

Share