On the strength of several versions of Dirichlet's ('Pigeon-Hole'-) principle in the sense of first-order logic.

@article{Twer1981,
author = {Twer, T.v.d.},
journal = {Archiv für mathematische Logik und Grundlagenforschung},
keywords = {model theory; fragments of number theory; finiteness conditions; Dirichlet's principle},
pages = {69-76},
title = {On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic.},
url = {http://eudml.org/doc/137976},
volume = {21},
year = {1981},
}

TY - JOUR
AU - Twer, T.v.d.
TI - On the strength of several versions of Dirichlet's ("Pigeon-Hole"-) principle in the sense of first-order logic.
JO - Archiv für mathematische Logik und Grundlagenforschung
PY - 1981
VL - 21
SP - 69
EP - 76
KW - model theory; fragments of number theory; finiteness conditions; Dirichlet's principle
UR - http://eudml.org/doc/137976
ER -