New answers tagged reverse-math
5
votes
Propositions equivalent to the completeness of the real numbers
Let $R$ be an Archimedean ordered field, and $S$ a non-trivial ultrapower extension of $R$. Then $R$ is complete if and only if $S$ admits a standard part; namely, every limited element of $S$ is ...
- 16.6k
13
votes
Are key theorems finitistically reducible?
There are various problems with finitistic reducibility as Simpson develops it; for a survey, see §5.3 of my Stanford Encyclopedia of Philosophy entry on reverse mathematics. I tend to agree that the ...
- 1,084
Top 50 recent answers are included