An induction principle and pigeonhole principles for K-finite sets (Q4876318)
From MaRDI portal
scientific article; zbMATH DE number 872664
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An induction principle and pigeonhole principles for K-finite sets |
scientific article; zbMATH DE number 872664 |
Statements
An induction principle and pigeonhole principles for K-finite sets (English)
0 references
27 October 1996
0 references
Kuratowski-finite
0 references
course-of-values induction principle
0 references
intuitionistic type theory
0 references
internal logic of an elementary topos
0 references
pigeonhole principles
0 references
