Back to Results
First PageMeta Content



Formal Baire space in constructive set theory Giovanni Curi and Michael Rathjen∗ Dipartimento di Matematica, Universit`a di Padova Via Trieste, Padova, Italy (G. Curi). Department of Pure M
Add to Reading List

Open Document

File Size: 150,48 KB

Share Result on Facebook