Finiteness and decidability: II

DOI10.1017/S0305004100055043MaRDI QIDQ4172195zbMATH OpenOpenAlexFDO

Authors F. E. J. Linton, Peter Johnstone

Publication date 1978

Published in Mathematical Proceedings of the Cambridge Philosophical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0305004100055043

zbMATH Keywords

DecidabilityFinitenessKuratowski-Finite ObjectsNon-Boolean ToposSubobjectsTopos

Mathematics Subject Classification ID

Intuitionistic mathematics (03F55) Topoi (18B25) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20)

Cites work

• Subobject Classifiers and Classes of Subfunctors.

Cited in

(6)

• Finite cardinals in general topoi
• Dedekind finiteness in topoi
• A universal characterization of the double powerlocale
• Decidable (= separable) objects and morphisms in lextensive categories
• On the structure of categories of coalgebras
• Categorical structure in coherent theory of arithmetic

This page was built for publication: Finiteness and decidability: II

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4172195)