An induction principle and pigeonhole principles for K-finite sets

DOI10.2307/2275881zbMath0848.03033arXivmath/9405204OpenAlexW2062058334MaRDI QIDQ4876318

Andreas Blass

Publication date: 27 October 1996

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/math/9405204

zbMATH Keywords

intuitionistic type theorypigeonhole principlesKuratowski-finitecourse-of-values induction principleinternal logic of an elementary topos

Mathematics Subject Classification ID

Topoi (18B25) Intuitionistic mathematics (03F55)

Cites Work

• Toposes without points
• Aspects of topoi: Corrigenda and acknowledgements
• Unnamed Item
• Unnamed Item

This page was built for publication: An induction principle and pigeonhole principles for K-finite sets