Seminário LisMath 

17/04/2015, 16:00 — 17:00 — Sala B3-01, Complexo Interdisciplinar da Universidade de Lisboa
João Enes, LisMath Programme, Universidade de Lisboa

Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman

Bibliography

1. Michael Rathjen, arXiv:1405.4481v1

Ver também

Indefiniteness - Joao Enes.pdf