Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie

Specker, E.

doi:10.1007/978-3-0348-9259-9_11

E. Specker¹

161 Accesses

Die Originalversion dieses Kapitels wurde überarbeitet: Der Name des Autors wurde in Kapitel 11 dieses Buches falsch erfasst. E. Speckek sollte als E. Specker gelesen werden. Dies wurde korrigiert. Die Korrektur zu diesem Kapitel finden Sie unter https://doi.org/10.1007/978-3-0348-9259-9_32

Zusammenfassung

Es sei Z ein System der Zahlentheorie, welches die Prädikatenlogik erster Stufe und die Theorie der rekursiven Funktionen enthält, z. B. das System Z _μ von [1].

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Chapter: USD 29.95; Price excludes VAT (USA)

eBook: USD 84.99; Price excludes VAT (USA)

Softcover Book: USD 109.00; Price excludes VAT (USA)

Hardcover Book: USD 109.99; Price excludes VAT (USA)

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Literatur

D. Hilbert und P. Bernays, Grundlagen der Mathematik, Vol. II, Berlin 1939.
Google Scholar
W. Markwald, Ein Satz über die elementar-arithmetischen Definierbarkeits-klassen, Archiv für mathematische Logik und Grundlagenforschung 2 (1956), 78–86.
Article Google Scholar
A. Mostowski, Development and application of the “projective” classification of sets of integers, Proc. of the Intern. Congress of Mathematicians 1954, vol. III, 280–288.
Google Scholar

Reference

H. Gaifman, Models and types of Peano’s arithmetic, Annals of Mathematical Logic 9 (1976).
Book Google Scholar
H. J. Keisler, Fundamentals of model theory, in: J. Barwise (ed.), Handbook of Mathematical Logic, North-Holland, Amsterdam, 1977.
Google Scholar
R. Kossak, M. Nadel and J. Schmerl, A note on the multiplicative semigroup of models of Peano arithmetic, Journal of Symbolic Logic 54 (1989).
Book Google Scholar
W. Markwald, Ein Satz über die elementar-arithmetischen Definierbarkeitsklassen, Archiv für mathematische Logik und Grundlagenforschung 2 (1956).
Book Google Scholar
A. Mostowski, Development and application of the “projective” classification of sets of integers, in: Proceedings of the International Congress of Mathematicians 1954, volume III.
Google Scholar
J. B. Rosser, Extensions of some theorems of Gödel and Church, Journal of Symbolic Logic 1 (1936).
Google Scholar
Th. Skolem, Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen, Fundamenta Mathematica 23 (1934).
Book Google Scholar

Download references

Author information

Authors and Affiliations

Eidgenössische Technische Hochschule, Zürich, Switzerland
E. Specker

Authors

E. Specker
View author publications
You can also search for this author in PubMed Google Scholar

Editor information

Gerhard Jäger Hans Läuchli Bruno Scarpellini Volker Strassen

Rights and permissions

Reprints and permissions

Copyright information

About this chapter

Cite this chapter

Specker, E. (1990). Eine Verschärfung des Unvollständigkeitssatzes der Zahlentheorie. In: Jäger, G., Läuchli, H., Scarpellini, B., Strassen, V. (eds) Ernst Specker Selecta. Birkhäuser, Basel. https://doi.org/10.1007/978-3-0348-9259-9_11

Download citation

DOI: https://doi.org/10.1007/978-3-0348-9259-9_11
Published: 19 August 2011
Publisher Name: Birkhäuser, Basel
Print ISBN: 978-3-0348-9966-6
Online ISBN: 978-3-0348-9259-9
eBook Packages: Springer Book Archive

Publish with us

Policies and ethics