Cuts in models of PA and independence results

From Peano's Parlour
Revision as of 10:09, 24 January 2013 by Rkossak (Talk | contribs)

Jump to: navigation, search

Diversity in elementary cuts

Let $M\models PA$ be countable and recursively saturated.

Smorybski proved that here are $2^{\aleph_0}$ theories of pairs $(M,K)$, such that $K$ is not semiregular in $M$.

Kossak proved that there are $2^{\aleph_0}$ theories of pairs $(M,K)$, such that $K$ is strong in $M$.

Problem: How many theories of pairs $(M,K)$ are there, such that $K$ is semiregular, but not regular in $M$.

By recent results of Kaye and Tin Lok Wong, every countable recursively saturated $M$ has $K$ and $L$ as in the question, such that $(M,K)\not\cong (M,L)$.

The problem was stated in [1] related results can be found in [2, 3, 4, 5].


Stu Smith's question

Question 6.6 of [6]: Let $M\models PA$ be nonstandard and let $I$ be a cut of $M$ definable in $(M,\omega)$. Is $\omega$ the (arithmetic) cofinality of $I$ in $M$?


References

  1. Roman Kossak and James H. Schmerl. On cofinal extensions and elementary interstices. Notre Dame J. Formal Logic 53(3):267--287, 2012. www   bibtex
  2. C. Smoryński. A note on initial segment constructions in recursively saturated models of arithmetic. Notre Dame J. Formal Logic 23(4):393--408, 1982. www   MR   bibtex
  3. C. Smoryński. Elementary extensions of recursively saturated models of arithmetic. Notre Dame J. Formal Logic 22(3):193--203, 1981. www   MR   bibtex
  4. Roman Kossak. A note on satisfaction classes. Notre Dame J. Formal Logic 26(1):1--8, 1985. www   DOI   MR   bibtex
  5. Richard Kaye and Tin Lok Wong. Truth in generic cuts. Ann. Pure Appl. Logic 161(8):987--1005, 2010. www   DOI   MR   bibtex
  6. Stuart T. Smith. Extendible sets in Peano arithmetic. Trans. Amer. Math. Soc. 316(1):337--367, 1989. www   DOI   MR   bibtex
Main library