17/04/2015, 16:00 — 17:00 — Room B3-01, Interdisciplinary Complex, Universidade de Lisboa
João Enes, LisMath Programme, Universidade de Lisboa
Indefiniteness in semi-intuitionistic set theories: On a conjecture of Feferman
Bibliography
- Michael Rathjen, arXiv:1405.4481v1
See also
Indefiniteness - Joao Enes.pdf
