Hostname: page-component-7dd5485656-glrdx Total loading time: 0 Render date: 2025-10-31T03:10:00.515Z Has data issue: false hasContentIssue false
  • English
  • Français

An addition to Rosser's theorem

Published online by Cambridge University Press:  12 March 2014

Henryk Kotlarski
Henryk Kotlarski*
Affiliation:
Instytut Matematyki i Fizyki WSRP, ul Orlicz-Dreszera 19/21, 08-110 Siedlce, Poland, E-mail: hkl@impan.impan.gov.pl
Get access Rights & Permissions [Opens in a new window]

Abstract

For a primitive recursive consistent and strong enough theory T we construct an independent statement which has some clear metamathematical meaning.

Information

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 61 , Issue 1 , March 1996 , pp. 285 - 292
Copyright
Copyright © Association for Symbolic Logic 1996

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Article purchase

Temporarily unavailable

References

REFERENCES

[1]Feferman, S., Arithmetization of metamathematics in a general setting, Fundamenta Mathematica, vol. 49 (1960), pp. 35–92.CrossRefGoogle Scholar
[2]Hàjek, P. and Pudlàk, P., Metamathematics of first order arithmetic, Perspectives in Mathematical Logic, Springer-Verlag, 1993.CrossRefGoogle Scholar
[3]Kaye, R., Models of Peano arithmetic, Oxford Logic Guides, Oxford University Press, 1991.CrossRefGoogle Scholar
[4]Kotlarski, H., On the incompleteness theorems, this Journal, vol. 59 (1994), no. 4, pp. 1414–1419.Google Scholar
[5]Kotlarski, H., Krajewski, S., and Lachlan, A. H., Construction of satisfaction classes for non-standard models, Canadian Mathematics Bulletin, vol. 24 (1981), no. 3, pp. 283–293.CrossRefGoogle Scholar
[6]Krajíček, J., On the number of steps in proofs, Annals of Pure and Applied Logic, vol. 42 (1989), no. 1, pp. 21–43.Google Scholar
[7]Krajíček, J. and Pudlàk, P., On the structure of initial segments of models of arithmetic, Archive for Mathematical Logic, vol. 28 (1989), pp. 91–98.CrossRefGoogle Scholar
[8]Shoenfield, J. R., Mathematical logic, Addison-Wesley, 1967.Google Scholar
[9]Smoryński, C., The incompleteness theorems, Handbook of mathematical logic (Barwise, J., editor). North-Holland, 1977, pp. 821–865.CrossRefGoogle Scholar
[10]Solovay, R. M., Injecting inconsistencies into models of PA, Annals of Pure and Applied Logic, vol. 44 (1989), pp. 101–132.CrossRefGoogle Scholar