List questions from reverse-math | MathQA

Does Z₂ Prove the iteration theorem?

Published on 23 Jun 2022 - 11:15

In RCA0, Prove that for all n, fⁿ(i) exists

Published on 28 Jun 2022 - 14:27

The set of all finite sequences in RCA0

Published on 01 Jul 2022 - 10:29

A Peano system with an infinite initial segment

Published on 03 Jul 2022 - 10:53

A tree with a lexicographic order is a linear ordered structure

Published on 07 Jul 2022 - 11:54

Axiomization of constructive primitive recursive arithmetic without induction

Published on 12 Jul 2022 - 16:41

Order types of modified gap-embedding relations on finite trees

Published on 11 Sep 2022 - 1:37

What modifications to the axioms of primitive recursion would restrict its expressivity to that of Presburger arithmetic?

Published on 25 Mar 2026 - 4:42