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

DOI10.1007/BF02011634zbMath0467.03060OpenAlexW2055390070WikidataQ112879237 ScholiaQ112879237MaRDI QIDQ3919715

T.v.d. Twer

Publication date: 1981

Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/137976

zbMATH Keywords

model theoryfiniteness conditionsDirichlet's principlefragments of number theory

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Related Items (2)

Recent Advances in Ordinal Analysis: Π¹₂— CA and Related Systems ⋮ Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa

Cites Work

• Unnamed Item
• Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie
• Unabhängigkeitsbeweise in Mengenlehre und Stufenlogik der Modelle. (Independence proofs in set theory and type logic of models)
• Prädikatenvariablen in der Zahlentheorie

This page was built for publication: On the strength of several versions of Dirichlet's (“pigeon-hole”-)principle in the sense of first-order logic