New posts in reverse-math

What is the difference between "Peano arithmetic," "second-order arithmetic," and "second-order Peano arithmetic?"

logic axioms foundations peano-axioms reverse-math

Relationship between l'Hospital's rule and the least upper bound property.

real-analysis limits-without-lhopital reverse-math

Are there non-standard counterexamples to the Fermat Last Theorem?

number-theory logic model-theory nonstandard-analysis reverse-math

Constructiveness of Proof of Gödel's Completeness Theorem

logic axiom-of-choice reverse-math

Is most of mathematics independent of set theory? [closed]

soft-question set-theory philosophy foundations reverse-math