Skip to main content
×
Home
    • Aa
    • Aa

ILLUSORY MODELS OF PEANO ARITHMETIC

  • MAKOTO KIKUCHI (a1) and TAISHI KURAHASHI (a2)
Abstract
Abstract

By using a provability predicate of PA, we define ThmPA(M) as the set of theorems of PA in a model M of PA. We say a model M of PA is (1) illusory if ThmPA(M) ⊈ ThmPA(ℕ), (2) heterodox if ThmPA(M) ⊈ TA, (3) sane if M ⊨ ConPA, and insane if it is not sane, (4) maximally sane if it is sane and ThmPA(M) ⊆ ThmPA(N) implies ThmPA(M) = ThmPA(N) for every sane model N of PA. We firstly show that M is heterodox if and only if it is illusory, and that ThmPA(M) ∩ TA ≠ ThmPA(ℕ) for any illusory model M. Then we show that there exists a maximally sane model, every maximally sane model satisfies ¬ConPA + ConPA, and there exists a sane model of ¬ConPA + ConPA which is not maximally sane. We define that an insane model is (5) illusory by nature if its every initial segment being a nonstandard model of PA is illusory, and (6) going insane suddenly if its every initial segment being a sane model of PA is not illusory. We show that there exists a model of PA which is illusory by nature, and we prove the existence of a model of PA which is going insane suddenly.

Copyright
Linked references
Hide All

This list contains references from the content that can be linked to their source. For a full set of references and notes please see the PDF or HTML where available.

David Guaspari and Robert M. Solovay , Rosser sentences . Annals of Mathematical Logic, vol. 16 (1979), no. 1, pp. 8199.

Petr Hájek , On a new notion of partial conservativity , Computation and Proof Theory, Lecture Notes in Mathematics, vol. 1104, Springer, Berlin, 1984, pp. 217232.

Jan Krajíček and Pavel Pudlák , On the structure of initial segments of models of arithmetic . Archive for Mathematical Logic, vol. 28 (1988), no. 2, pp. 9198.

Per Lindström , Aspects of Incompleteness, Lecture Notes in Logic, vol. 10, Springer-Verlag, Berlin, 1997.

Didier Misercque , Branches of the E-tree which are not isomorphic , Bulletin of the London Mathematical Society, vol. 17 (1985), pp. 513517.

Craig Smoryński , The incompleteness theorems , Handbook of Mathematical Logic ( J. Barwise , editor), North-Holland, Amsterdam, 1977, pp. 821865.

Craig Smoryński , Fifty years of self-reference in arithmetic . Notre Dame Journal of Formal Logic, vol. 22 (1981), no. 4, pp. 357378.

Robert M. Solovay , Injecting inconsistencies into models of PA . Annals of Pure and Applied Logic, vol. 44 (1989), pp. 101132.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *
×

Keywords:

Metrics

Full text views

Total number of HTML views: 0
Total number of PDF views: 46 *
Loading metrics...

Abstract views

Total abstract views: 200 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 24th September 2017. This data will be updated every 24 hours.