Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Paris, L. Harrington: A Mathematical Incompleteness in Peano Arithmetic, in: Handbook of Mathematical Logic, ed. Jon Barwise, 1133–1142.
J. Paris: Some Independence Results for Peano Arithmetic, The Journal of Symbolic Logic, vol. 43, No. 4, 1978, 725–731.
A. Ehrenfeucht, D. Jensen: Some problems in elementary arithmetics, Fundamenta Mathematical, XCII, 1976, 223–245.
H. Friedman: Countable Models of Set Theories, in: Proc. of the 1971 Cambridge Summer School in Mathematical Logic, Springer Lecture Notes, in Math., vol. 337, 539–573.
H. Gaifman: A Note on Models and Submodels of Arithmetic, Proc. of the Conference in Mathematical Logic, London 1970, Springer Lecture Notes in Mathematics, vol. 255, 128–144.
J. F. Knight: Types Omitted in Uncountable Models of Arithmetic, The Journal of Symbolic Logic, vol. 40, 1975, 317–320.
J.C. Sheperdson: A Nonstandard Model for a Free Variable Fragment of Number Theory, Bull. de l’académie Polonaise des Sciences, Sér. Math., Astr., Phys., vol. XII, No. 2, 1964, 79–86.
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag
About this paper
Cite this paper
von der Twer, T. (1981). Some remarks on the mathematical incompleteness of Peano’s arithmetic found by paris and harrington. In: Jensen, R.B., Prestel, A. (eds) Set Theory and Model Theory. Lecture Notes in Mathematics, vol 872. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0098622
Download citation
DOI: https://doi.org/10.1007/BFb0098622
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10849-8
Online ISBN: 978-3-540-38757-2
eBook Packages: Springer Book Archive