An Induction Principle and Pigeonhole Principles for K-Finite Sets

Details An Induction Principle and Pigeonhole Principles for K-Finite Sets An Induction Principle and Pigeonhole Principles for K-Finite Sets

1994-05-20

arxiv.org/abs/math/9405204v1

Mathematics

Logic

Scientific paper

We establish a course-of-values induction principle for K-finite sets in
intuitionistic type theory. Using this principle, we prove a pigeonhole
principle conjectured by Benabou and Loiseau. We also comment on some variants
of this pigeonhole principle.

Affiliated with

Also associated with

No associations

Rating

An Induction Principle and Pigeonhole Principles for K-Finite Sets does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with An Induction Principle and Pigeonhole Principles for K-Finite Sets, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and An Induction Principle and Pigeonhole Principles for K-Finite Sets will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-576127