Finite objects and automorphisms

DOI10.1080/00927879208824525zbMath0778.18002OpenAlexW2061592862MaRDI QIDQ4029195

Osvaldo Acuña-Ortega

Publication date: 15 March 1993

Published in: Communications in Algebra (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00927879208824525

zbMATH Keywords

subobject classifierelementary toposDedekind-finitenessfinite cardinalsBoolean topos\(K\)-finiteness\(K\)-finite decidable objectTarski-finiteness

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Topoi (18B25) Ordinal and cardinal numbers (03E10)

Cites Work

• An exact coexact characterization of the finite cardinals

This page was built for publication: Finite objects and automorphisms