Unabhängigkeitsbeweise in Teilsystemen der elementaren Zahlentheorie

DOI10.1007/BF01363892zbMath0162.01402OpenAlexW2070447259MaRDI QIDQ2528383

R. B. Jensen

Publication date: 1967

Published in: Mathematische Annalen (Search for Journal in Brave)

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

zbMATH Keywords

algebraic logic, model theory

Related Items

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

Cites Work

• Ein Beitrag zur Ordnungstheorie
• Über eine Art von Unvollständigkeit des Prädikatenkalküls der ersten Stufe
• Über ω-Unvollständigkeit in der Peano-Arithmetik
• Unnamed Item
• Unnamed Item