On the Freyd cover of a topos

DOI10.1305/ndjfl/1093870454zbMath0487.03034OpenAlexW2044581811MaRDI QIDQ1165240

Ieke Moerdijk

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870454

zbMATH Keywords

disjunction propertyHarrop formulasintuitionistic higher order logictopos logic

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (1)

Connectification for \(n\)-contraction

This page was built for publication: On the Freyd cover of a topos