Question

Why do we require that $1 \in A$ in defining n-admissible functions?

score 45 · Answer 1 · 2023-05-15 12:01:08

45

Views

Why do we require that $1 \in A$ in defining n-admissible functions?

Published on 15 May 2023 - 12:01

score 78 · Answer 2 · 2026-03-26 22:55:45

78

Views

Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?

Published on 26 Mar 2026 - 22:55

score 130 · Answer 3 · 2023-06-30 15:36:27

130

Views

Proof of Recursive definition, Analysis 1 by Terence Tao.

Published on 30 Jun 2023 - 15:36

score 185 · Answer 4 · 2023-07-05 05:44:15

185

Views

Can we replace these two Peano axioms with this single axiom?

Published on 05 Jul 2023 - 5:44

score 163 · Answer 5 · 2023-07-15 18:24:25

163

Views

Role of Induction among Peano Axioms

Published on 15 Jul 2023 - 18:24

score 38 · Answer 6 · 2023-07-22 02:13:39

38

Views

Peano axioms and meaning of successor map in Jacobson's Basic Algebra I

Published on 22 Jul 2023 - 2:13

score 117 · Answer 7 · 2023-07-24 14:47:15

117

Views

Representability of Goodstein function in PA

Published on 24 Jul 2023 - 14:47

score 175 · Answer 8 · 2026-03-25 04:40:50

175

Views

If Goldbach's conjecture G is undecidable in PA, then can we prove $\mathbb N\models G$?

Published on 25 Mar 2026 - 4:40

score 108 · Answer 9 · 2026-03-26 22:14:52

108

Views

Are the natural numbers definable in ZFC-Inf

Published on 26 Mar 2026 - 22:14

score 261 · Answer 10 · 2023-07-26 17:31:32

261

Views

Is my proof of $1+1=2$ correct?

Published on 26 Jul 2023 - 17:31

score 39 · Answer 11 · 2023-07-27 00:39:56

39

Views

Showing that adding by $1$ is the same as the successor function

Published on 27 Jul 2023 - 0:39

score 149 · Answer 12 · 2023-08-01 21:48:49

149

Views

On the Axiomatic Foundation of Elementary Number Theory

Published on 01 Aug 2023 - 21:48

score 73 · Answer 13 · 2023-08-11 10:27:59

73

Views

Circular reasoning when explaining positional notation

Published on 11 Aug 2023 - 10:27

score 156 · Answer 14 · 2023-08-14 17:10:34

156

Views

Analysis I, can Tao's construction of the integers be further simplified?

Published on 14 Aug 2023 - 17:10

score 82 · Answer 15 · 2023-08-15 17:01:39

82

Views

Does the property $T\vdash Pvbl_T(\ulcorner \sigma \urcorner) \implies T\vdash \sigma$ apply to set theories?

Published on 15 Aug 2023 - 17:01

List Question

Why do we require that $1 \in A$ in defining n-admissible functions?

Does every well-ordered set obeying the non-induction Peano axioms have a well-ordering compatible with the successor operation?

Proof of Recursive definition, Analysis 1 by Terence Tao.

Can we replace these two Peano axioms with this single axiom?

Role of Induction among Peano Axioms

Peano axioms and meaning of successor map in Jacobson's Basic Algebra I

Representability of Goodstein function in PA

If Goldbach's conjecture G is undecidable in PA, then can we prove $\mathbb N\models G$?

Are the natural numbers definable in ZFC-Inf

Is my proof of $1+1=2$ correct?

Showing that adding by $1$ is the same as the successor function

On the Axiomatic Foundation of Elementary Number Theory

Circular reasoning when explaining positional notation

Analysis I, can Tao's construction of the integers be further simplified?

Does the property $T\vdash Pvbl_T(\ulcorner \sigma \urcorner) \implies T\vdash \sigma$ apply to set theories?

Trending Questions

Popular # Hahtags

Popular Questions