K-有限集的归纳原理与鸽巢原理
逻辑
2008-02-03 v1
摘要
我们在直觉主义类型论中建立 K-有限集的值递归归纳原理。利用该原理，我们证明 Benabou 与 Loiseau 所猜想的一个鸽巢原理。我们也评论该鸽巢原理的一些变体。
引用
@article{arxiv.math/9405204,
title = {An Induction Principle and Pigeonhole Principles for K-Finite Sets},
author = {Andreas Blass},
journal= {arXiv preprint arXiv:math/9405204},
year = {2008}
}