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 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


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