Prädikatenvariablen in der Zahlentheorie

DOI10.1111/j.1746-8361.1978.tb01313.xzbMath0402.03018OpenAlexW2081853746MaRDI QIDQ4186284

Gisbert Hasenjaeger

Publication date: 1978

Published in: Dialectica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1111/j.1746-8361.1978.tb01313.x

zbMATH Keywords

Predicate Variables in Number Theory

Mathematics Subject Classification ID

Classical first-order logic (03B10) Connections of number theory and logic (11U99)

Related Items (1)

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

This page was built for publication: Prädikatenvariablen in der Zahlentheorie