Doctrines in Categorical Logic
- 1 January 1977
- book chapter
- Published by Elsevier
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Toposes without pointsJournal of Pure and Applied Algebra, 1974
- Topos theory and souslin's hypothesisJournal of Pure and Applied Algebra, 1974
- Topos-theoretic factorization of non-standard extensionsPublished by Springer Nature ,1974
- Model-completeness for sheaves of structuresFundamenta Mathematicae, 1973
- Boolean topoi and the theory of setsJournal of Pure and Applied Algebra, 1972
- Aspects of topoiBulletin of the Australian Mathematical Society, 1972
- Adjointness in FoundationsDialectica, 1969
- Algebra valued functors in general and tensor products in particularColloquium Mathematicum, 1966
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963
- Lois de groupes et analyseursAnnales Scientifiques de lʼÉcole Normale Supérieure, 1955