Finiteness and decidability: II

DOI10.1017/S0305004100055043zbMath0391.18004OpenAlexW2007589691MaRDI QIDQ4172195

F. E. J. Linton, Peter T. 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

ToposDecidabilityFinitenessKuratowski-Finite ObjectsNon-Boolean ToposSubobjects

Mathematics Subject Classification ID

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

Related Items (5)

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

Cites Work

• Subobject Classifiers and Classes of Subfunctors.

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