Nicht-Standardmodelle der Zahlentheorie

DOI10.1007/BF01180187zbMath0268.02039OpenAlexW2078378168MaRDI QIDQ2562781

Gert H. Müller

Publication date: 1961

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

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

Mathematics Subject Classification ID

Nonstandard arithmetic (number-theoretic aspects) (11U10) Nonstandard models (03H99)

Related Items (1)

Δ 2 0 -Mengen

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Undecidable problems of elementary number theory
• Sentences undecidable in formalized arithmetic. An exposition of the theory of Kurt Gödel
• The completeness of the first-order functional calculus
• Completeness in the theory of types
• Certain predicates defined by induction schemata
• Arithmetic with creative definitions by induction

This page was built for publication: Nicht-Standardmodelle der Zahlentheorie