On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic

  • T. v. d. Twer


Mathematical Logic 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Hasenjaeger, G.: Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik durch Modelle. Jber. dtsch. Math.-Ver.63 (1960).Google Scholar
  2. [2]
    Hasenjaeger, G.: Prädikatenvariablen in der Zahlentheorie. Dialectica, Vol.32, No. 3–4, 209–220 (1978).Google Scholar
  3. [3]
    Jensen, R. B.: Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie. Math. Ann.173, 102–126 (1967).Google Scholar
  4. [4]
    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.Google Scholar

Copyright information

© Verlag W. Kohlhammer 1981

Authors and Affiliations

  • T. v. d. Twer
    • 1
  1. 1.Gesamthochschule WuppertalWuppertalFederal Republic of Germany

Personalised recommendations