# Difference between revisions of "Uncountable models with interesting second-order properties"

m (→Rather classless models) |
m (→Rigid models) |
||

(3 intermediate revisions by one other user not shown) | |||

Line 1: | Line 1: | ||

− | |||

== Friedman's 14th problem == | == Friedman's 14th problem == | ||

Line 23: | Line 22: | ||

Gaifman <cite> gaifman1976:models </cite> and Knight <cite> knight1976:hanf </cite> independently showed that there are Jonsson models of $PA$. | Gaifman <cite> gaifman1976:models </cite> and Knight <cite> knight1976:hanf </cite> independently showed that there are Jonsson models of $PA$. | ||

. | . | ||

− | Jonsson models $M$ of $PA$ of cardinality $\aleph_1$ are either $\aleph_1-like | + | Jonsson models $M$ of $PA$ of cardinality $\aleph_1$ are either $\aleph_1$-like or are ''short''. A model $M$ of $PA$ is short there is an $a\in M$ such that the Skolem closure of $a$ is cofinal in $M$. Each known Jonsson model realizes uncountably many complete types. |

Kossak has asked: Is there an $\aleph_1$-like Jonsson model $M\models PA$ such that $|\{{\rm tp}(a): a\in M\}|=\aleph_0$? | Kossak has asked: Is there an $\aleph_1$-like Jonsson model $M\models PA$ such that $|\{{\rm tp}(a): a\in M\}|=\aleph_0$? | ||

If $M\models PA$ is $\aleph_1$-like and recursively saturated, then $|\{{\rm tp}(a): a\in M\}|=\aleph_0$, but $M$ is not Jonsson. Therefore, another related question is: Is there a ''weakly Jonsson model'' $M\models PA$, i.e. a recursively saturated model $M\models PA$ such that for every recursively saturated $K\prec M$, if $|K|=|M|$, then $K=M$? The problem was posed in <cite> kossak1995:four </cite>. | If $M\models PA$ is $\aleph_1$-like and recursively saturated, then $|\{{\rm tp}(a): a\in M\}|=\aleph_0$, but $M$ is not Jonsson. Therefore, another related question is: Is there a ''weakly Jonsson model'' $M\models PA$, i.e. a recursively saturated model $M\models PA$ such that for every recursively saturated $K\prec M$, if $|K|=|M|$, then $K=M$? The problem was posed in <cite> kossak1995:four </cite>. | ||

− | |||

== Rigid models == | == Rigid models == | ||

Line 35: | Line 33: | ||

Problem: Are there rigid recursively saturated $M\models PA$ such that ${\rm cf}(M)=\aleph_0$? | Problem: Are there rigid recursively saturated $M\models PA$ such that ${\rm cf}(M)=\aleph_0$? | ||

+ | |||

+ | == Lofty models == | ||

+ | |||

+ | A model $M$ of PA is '''lofty''' if there is $e \in M$ such that whenever $a \in M$ and | ||

+ | $\Phi = \{\varphi_i(a,x) : i < \omega\}$ is a recursive set of formulas that is finitely satisfiable | ||

+ | in $M$, then there is a definable $D \subseteq M$ such that $M \models |D| \leq e$ and | ||

+ | $\Phi \cup \{x \in D\}$ is finitely satisfiable in $M$. This notion was defined and studied by | ||

+ | Kaufmann and Schmerl in <cite> kaufmannschmerl1984:saturation </cite> (and also in <cite> kaufmannschmerl1987:remarks </cite>), | ||

+ | where the following was proved: | ||

+ | If $M$ is a countable model of PA, then $M$ is lofty iff $M$ has a simple elementary extension (i.e. generated by a single element) that is recursively saturated. The question was asked whether | ||

+ | the modifier "countable" could be eliminated. Further progress was made in | ||

+ | <cite> kaufmannschmerl1987:remarks </cite>, but the question remains open. | ||

{{References}} | {{References}} |

## Latest revision as of 12:39, 18 February 2013

## Contents

## Friedman's 14th problem

Let $T$ be a completion of PA. Let ${\rm Ot}(T)$ be the spectrum of order types of nonstandard models of $T$. In [1] Harvey Friedman asked: Does ${\rm Ot(T)}$ depend on $T$?

Shelah has recently announced that the answer is negative, but there is no paper available yet. See Sh[924] for an interesting effort in the opposite direction.

## Rather classless models

$X\subseteq M\models PA$ is a *class* if for all $a\in M$, $\{x\in X: x<a\}$ is definable (coded) in $M$.
$M$ is *rather classless* if each class of $M$ is definable.

Using the fact that every model of $PA$ has a conservative elementary end extension [2], Schmerl [3] proved that for each cardinal $\kappa$ such that ${\rm cf}(\kappa)>\aleph_0$, there are $\kappa$-like rather classless models of $PA$. A model is *$\kappa$-like* if it is of cardinality $\kappa$ and each of its proper initial segments is of smaller cardinality.

Kaufmann [4], assuming $\lozenge$, proves that there are recursively saturated $\aleph_1$-like rather classless models. Later Shelah showed that $\lozenge$ can be eliminated from the proof. Nevertheless one can still ask, as Hodges did in [5]: Prove the existence of rather classless recursively saturated models of $PA$ in cardinality $\aleph_1$ without assuming diamond at any stage of the proof.

## Jonsson models

A model $\mathfrak B$ is *Jonsson* if $|{\mathfrak B}|>\aleph_0$ and for every ${\mathfrak A}\prec {\mathfrak B}$, if $|{\mathfrak A}|=|{\mathfrak B}|$, then ${\mathfrak A}={\mathfrak B}$.

Gaifman [2] and Knight [6] independently showed that there are Jonsson models of $PA$.
.
Jonsson models $M$ of $PA$ of cardinality $\aleph_1$ are either $\aleph_1$-like or are *short*. A model $M$ of $PA$ is short there is an $a\in M$ such that the Skolem closure of $a$ is cofinal in $M$. Each known Jonsson model realizes uncountably many complete types.

Kossak has asked: Is there an $\aleph_1$-like Jonsson model $M\models PA$ such that $|\{{\rm tp}(a): a\in M\}|=\aleph_0$?

If $M\models PA$ is $\aleph_1$-like and recursively saturated, then $|\{{\rm tp}(a): a\in M\}|=\aleph_0$, but $M$ is not Jonsson. Therefore, another related question is: Is there a *weakly Jonsson model* $M\models PA$, i.e. a recursively saturated model $M\models PA$ such that for every recursively saturated $K\prec M$, if $|K|=|M|$, then $K=M$? The problem was posed in [7].

## Rigid models

There are $\aleph_1$-like rigid models of $PA$. Two different constructions are given in [8] and [9]

Problem: Are there rigid recursively saturated $M\models PA$ such that ${\rm cf}(M)=\aleph_0$?

## Lofty models

A model $M$ of PA is **lofty** if there is $e \in M$ such that whenever $a \in M$ and
$\Phi = \{\varphi_i(a,x) : i < \omega\}$ is a recursive set of formulas that is finitely satisfiable
in $M$, then there is a definable $D \subseteq M$ such that $M \models |D| \leq e$ and
$\Phi \cup \{x \in D\}$ is finitely satisfiable in $M$. This notion was defined and studied by
Kaufmann and Schmerl in [10] (and also in [11]),
where the following was proved:
If $M$ is a countable model of PA, then $M$ is lofty iff $M$ has a simple elementary extension (i.e. generated by a single element) that is recursively saturated. The question was asked whether
the modifier "countable" could be eliminated. Further progress was made in
[11], but the question remains open.

## References

- Harvey Friedman.
*One hundred and two problems in mathematical logic.*J. Symbolic Logic 40:113--129, 1975. MR bibtex - Haim Gaifman.
*Models and types of Peano's arithmetic.*Ann. Math. Logic 9(3):223--306, 1976. MR bibtex - James H. Schmerl.
*Recursively saturated, rather classless models of Peano arithmetic.*Logic Year 1979--80 (Proc. Seminars and Conf. Math. Logic, Univ. Connecticut, Storrs, Conn., 1979/80)859:268--282, Berlin, 1981. MR bibtex - Matt Kaufmann.
*A rather classless model.*Proc. Amer. Math. Soc. 62(2):330--333, 1977. MR bibtex - Wilfrid Hodges.
*Building models by games.*Vol. 2, Cambridge University Press, Cambridge, 1985. MR bibtex - Julia F. Knight.
*Hanf numbers for omitting types over particular theories.*J. Symbolic Logic 41(3):583--588, 1976. MR bibtex - Roman Kossak.
*Four problems concerning recursively saturated models of arithmetic.*Notre Dame J. Formal Logic 36(4):519--530, 1995. (Special Issue: Models of arithmetic) www DOI MR bibtex - Roman Kossak and James H. Schmerl.
*Minimal satisfaction classes with an application to rigid models of Peano arithmetic.*Notre Dame J. Formal Logic 32(3):392--398, 1991. www DOI MR bibtex - Roman Kossak and Henryk Kotlarski.
*Game approximations of satisfaction classes and the problem of rather classless models.*Z. Math. Logik Grundlag. Math. 38(1):21--26, 1992. www DOI MR bibtex - Matt Kaufmann and James H. Schmerl.
*Saturation and simple extensions of models of Peano arithmetic.*Ann. Pure Appl. Logic 27(2):109--136, 1984. www DOI MR bibtex - Matt Kaufmann and James H. Schmerl.
*Remarks on weak notions of saturation in models of Peano arithmetic.*J. Symbolic Logic 52(1):129--148, 1987. www DOI MR bibtex