2
$\begingroup$

I know that any existential formula is upwards absolute (an any universal formula is downwards absolute) but I was looking for an example of a formula that is upwards absolute but not downwards absolute.

Ideally this would be an existential formula and the models would be transitive , if this is possible?

Thanks very much for any help.

  • 1
    I think you should mention in the question that you're asking about a formula in the language of set theory, absolute for models of ZFC, which is probably what you meant (surmising from the tags).2012-12-02

1 Answers 1

2

$0^\#\text{ exists}$

This statement is upwards absolute. If $0^\#$ exists then it exists in all larger [transitive] models. However it is not downwards absolute because $L\models\lnot\exists 0^\#$.


Equally if the universe is "sufficiently different" from some of its inner models then the formula $\exists f\colon\alpha\to\beta\text{ a bijection}$ can be true in some models and false in others.

For example if $\omega_1^L$ is countable in $M$ then $M\models\exists f\colon\omega\to\omega_1^L$, and any model extending $M$ also satisfies this formula, however $L$ itself doesn't. Note that $\omega$ is definable without parameters and $\omega_1^L$ is the least ordinal that has no constructible injection into $\omega$, and so it is also definable without parameters.


An even simpler variant of the previous example is simply writing the axiom $V\neq L$. Recall that there is a formula $\varphi(x)$ such that $\varphi(x)$ is true if and only if $x\in L$. Therefore $V=L$ can be expressed as $\forall x.\varphi(x)$.

Writing $\exists x.\lnot\varphi(x)$ is clearly not downwards absolute, because this statement would be false in $L$ of the model; but it is also clearly upwards absolute because if $M\subseteq N$ (both transitive with the same ordinals) and $M\models V\neq L$ then $N$ cannot have satisfy $V=L$.

  • 0
    Yeah I understand that so thanks but thanks for the other part to, gives me something to think about!2012-12-01