Notre Dame Journal of Formal Logic
- Notre Dame J. Formal Logic
- Volume 24, Number 4 (1983), 517-526.
On the Freyd cover of a topos.
Article information
Source
Notre Dame J. Formal Logic, Volume 24, Number 4 (1983), 517-526.
Dates
First available in Project Euclid: 30 August 2004
Permanent link to this document
https://projecteuclid.org/euclid.ndjfl/1093870454
Digital Object Identifier
doi:10.1305/ndjfl/1093870454
Mathematical Reviews number (MathSciNet)
MR717912
Zentralblatt MATH identifier
0487.03034
Subjects
Primary: 03G30: Categorical logic, topoi [See also 18B25, 18C05, 18C10]
Secondary: 03F35: Second- and higher-order arithmetic and fragments [See also 03B30] 03F55: Intuitionistic mathematics
Citation
Moerdijk, Ieke. On the Freyd cover of a topos. Notre Dame J. Formal Logic 24 (1983), no. 4, 517--526. doi:10.1305/ndjfl/1093870454. https://projecteuclid.org/euclid.ndjfl/1093870454
