TY  - RPRT
TI  - An Induction Principle and Pigeonhole Principles for K-Finite Sets
AU  - Andreas Blass
PY  - 1994
UR  - https://arxiv.org/abs/math/9405204
ID  - math/9405204
ER  -