Is full Replacement provable in Z + Ordinal Replacement? – mathoverflow.net

Is full Replacement provable in Z + Ordinal Replacement? – mathoverflow.net

16:07 No Comments
$\text{Ordinal Replacement:}$ if $\phi(x,y)$ is a formula in two free variables $x,y$, then: $\forall x \ [ordinal(x) \to \exists! y \ (ordinal (y) \wedge \phi(x,y)) ] \to \forall A \ (\forall x ...

from Hot Questions - Stack Exchange OnStackOverflow
via Blogspot

Share this

Unknown

0 Comment to "Is full Replacement provable in Z + Ordinal Replacement? – mathoverflow.net"

Post a Comment

Subscribe to: Post Comments (Atom)