LisMath Seminar 

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

1. Michael Rathjen, arXiv:1405.4481v1

See also

Indefiniteness - Joao Enes.pdf