↧
Answer by Ali Enayat for Do the analogies between metamathematics of set...
A significant amount of the parallelism can be explained by the bi-interpretabiity of $PA$ with $ZF^{-\infty}$ ("finite set theory"), which is the theory obtained from $ZF$ by replacing the axiom of...
View ArticleDo the analogies between metamathematics of set theory and arithmetic have...
By "formal analogies" between the metamathematics of $\mathsf{ZFC}$/set theory and $\mathsf{PA}$(=Peano Arithmetic)/first order arithmetic, I mean facts such as the following:We are considering a...
View Article
More Pages to Explore .....