Skip to main content

All Questions

Filter by
Sorted by
Tagged with
12 votes
1 answer
834 views

Transfinitely extending $\sf PA$ — can we get stronger than $\sf ZFC$?

Let $\sf PA$ denote the theory of natural numbers with constants $(0, 1)$ and binary operators $(+,\times)$ based on the first-order predicate calculus with equality, having the following axioms, ...
Vladimir Reshetnikov's user avatar
1 vote
0 answers
123 views

Is possibile to define transfinite sum and product recursively? [closed]

On mathstackexchange a few days ago I published the following question where I asked about "transfinite" sum and products but actually nobody answered or gave an opinion with a comment: thus ...
Antonio Maria Di Mauro's user avatar