References
Hasenjaeger, G.: Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik durch Modelle. Jber. dtsch. Math.-Ver.63 (1960).
Hasenjaeger, G.: Prädikatenvariablen in der Zahlentheorie. Dialectica, Vol.32, No. 3–4, 209–220 (1978).
Jensen, R. B.: Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie. Math. Ann.173, 102–126 (1967).
Krauss, P.: Quantifier elimination. In: Proc. of the Internat. Summer Institute and Logic Colloquium, (eds. G. H. Müller, A. Oberschelp, K. Potthoff). Kiel 1964.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
v. d. Twer, T. On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic. Arch math Logik 21, 69–76 (1981). https://doi.org/10.1007/BF02011634
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02011634