Question

Is there a weak set theory that can prove that the natural numbers is a model of PA?

score 154 · Answer 1 · 2026-05-07 07:42:29

154

Views

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Published on 07 May 2026 - 7:42

score 151 · Answer 2 · 2026-04-23 03:02:48

151

Views

Differences between real numbers in $ACA_0 + \lnot Con(PA)$ and standard real numbers?

Published on 23 Apr 2026 - 3:02

score 135 · Answer 3 · 2026-04-25 10:44:37

135

Views

Add non-negativity constraint to a reverse optimization function

Published on 25 Apr 2026 - 10:44

score 459 · Answer 4 · 2026-04-29 12:44:24

459

Views

Parallel axiom implies that if $\alpha+\beta=180°$, then the lines do not meet

Published on 29 Apr 2026 - 12:44

score 143 · Answer 5 · 2026-04-29 12:44:23

143

Views

Computable but Nonexistent Set

Published on 29 Apr 2026 - 12:44

score 63 · Answer 6 · 2026-05-02 18:41:25

63

Views

Questions on proof of pairing map is one-to-one

Published on 02 May 2026 - 18:41

score 176 · Answer 7 · 2026-04-29 12:44:34

176

Views

How much arithmetic is required to formalize quantifier elimination in Presburger arithmetic?

Published on 29 Apr 2026 - 12:44

score 74 · Answer 8 · 2026-05-02 20:15:44

74

Views

If $x\in dom(\phi),$ we can use the code $\Phi$ and minimization theorem to prove within $RCA_0$ that $\phi(x)$ exists.

Published on 02 May 2026 - 20:15

score 125 · Answer 9 · 2026-05-02 18:29:04

125

Views

Motivation of $C_0$ in a proof of Hahn-Banach Theorem in Reverse Maths

Published on 02 May 2026 - 18:29

score 59 · Answer 10 · 2026-05-02 23:53:14

59

Views

Theorem statable in base system but not provable in base system?

Published on 02 May 2026 - 23:53

score 118 · Answer 11 · 2026-04-29 12:46:13

118

Views

Find numbers of 10 digits that have specific prefixes

Published on 29 Apr 2026 - 12:46

score 126 · Answer 12 · 2026-04-29 12:46:01

126

Views

What Makes a Number Memorable mathematically ? (Suggestions)

Published on 29 Apr 2026 - 12:46

score 144 · Answer 13 · 2026-04-29 21:45:34

144

Views

What is a model of $RCA_0$ plus the negation of the weak Konig's lemma?

Published on 29 Apr 2026 - 21:45

score 233 · Answer 14 · 2026-04-29 12:46:05

233

Views

Constructive proof of the Banach-Alaouglu theorem

Published on 29 Apr 2026 - 12:46

score 114 · Answer 15 · 2026-04-29 12:46:04

114

Views

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Published on 29 Apr 2026 - 12:46

List Question

Is there a weak set theory that can prove that the natural numbers is a model of PA?

Differences between real numbers in $ACA_0 + \lnot Con(PA)$ and standard real numbers?

Add non-negativity constraint to a reverse optimization function

Parallel axiom implies that if $\alpha+\beta=180°$, then the lines do not meet

Computable but Nonexistent Set

Questions on proof of pairing map is one-to-one

How much arithmetic is required to formalize quantifier elimination in Presburger arithmetic?

If $x\in dom(\phi),$ we can use the code $\Phi$ and minimization theorem to prove within $RCA_0$ that $\phi(x)$ exists.

Motivation of $C_0$ in a proof of Hahn-Banach Theorem in Reverse Maths

Theorem statable in base system but not provable in base system?

Find numbers of 10 digits that have specific prefixes

What Makes a Number Memorable mathematically ? (Suggestions)

What is a model of $RCA_0$ plus the negation of the weak Konig's lemma?

Constructive proof of the Banach-Alaouglu theorem

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Trending Questions

Popular # Hahtags

Popular Questions