Monadic $\Pi^1_1$-theories of $\Pi_1^1$}-properties.
Open Access
- 1 March 1989
- journal article
- Published by Duke University Press in Notre Dame Journal of Formal Logic
- Vol. 30 (2) , 224-240
- https://doi.org/10.1305/ndjfl/1093635080
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: