Quotients of decidable objects in a topos
- 1 May 1983
- journal article
- Published by Cambridge University Press (CUP) in Mathematical Proceedings of the Cambridge Philosophical Society
- Vol. 93 (3) , 409-419
- https://doi.org/10.1017/s0305004100060734
Abstract
No abstract availableThis publication has 11 references indexed in Scilit:
- Quotients of decidable objects in a toposMathematical Proceedings of the Cambridge Philosophical Society, 1983
- Factorization theorems for geometric morphisms, IIPublished by Springer Nature ,1982
- Intuitionist type theory and the free toposJournal of Pure and Applied Algebra, 1980
- The axiom of choiceJournal of Pure and Applied Algebra, 1980
- Tripos theoryMathematical Proceedings of the Cambridge Philosophical Society, 1980
- Atomic toposesJournal of Pure and Applied Algebra, 1980
- Finiteness and decidability:IPublished by Springer Nature ,1979
- Finiteness and decidability: IIMathematical Proceedings of the Cambridge Philosophical Society, 1978
- Algebraic theories in toposesPublished by Springer Nature ,1978
- Abstract families and the adjoint functor theoremsPublished by Springer Nature ,1978