Question

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

score 139 · Answer 1 · 2026-03-24 15:02:28

139

Views

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

Published on 24 Mar 2026 - 15:02

score 145 · Answer 2 · 2026-03-23 02:30:16

145

Views

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

Published on 23 Mar 2026 - 2:30

score 128 · Answer 3 · 2026-03-23 14:26:11

128

Views

Add non-negativity constraint to a reverse optimization function

Published on 23 Mar 2026 - 14:26

score 451 · Answer 4 · 2026-03-22 21:59:52

451

Views

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

Published on 22 Mar 2026 - 21:59

score 135 · Answer 5 · 2026-03-23 11:14:48

135

Views

Computable but Nonexistent Set

Published on 23 Mar 2026 - 11:14

score 51 · Answer 6 · 2026-03-23 01:24:28

51

Views

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

Published on 23 Mar 2026 - 1:24

score 170 · Answer 7 · 2026-03-22 16:33:22

170

Views

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

Published on 22 Mar 2026 - 16:33

score 66 · Answer 8 · 2026-03-25 05:56:51

66

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 25 Mar 2026 - 5:56

score 118 · Answer 9 · 2026-03-22 22:06:26

118

Views

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

Published on 22 Mar 2026 - 22:06

score 47 · Answer 10 · 2026-03-22 18:25:34

47

Views

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

Published on 22 Mar 2026 - 18:25

score 107 · Answer 11 · 2026-03-23 20:50:41

107

Views

Find numbers of 10 digits that have specific prefixes

Published on 23 Mar 2026 - 20:50

score 119 · Answer 12 · 2026-03-25 06:00:22

119

Views

What Makes a Number Memorable mathematically ? (Suggestions)

Published on 25 Mar 2026 - 6:00

score 139 · Answer 13 · 2026-03-25 04:43:56

139

Views

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

Published on 25 Mar 2026 - 4:43

score 226 · Answer 14 · 2026-03-25 06:02:00

226

Views

Constructive proof of the Banach-Alaouglu theorem

Published on 25 Mar 2026 - 6:02

score 109 · Answer 15 · 2026-03-25 04:40:49

109

Views

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

Published on 25 Mar 2026 - 4:40

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