Question

Nonstandard Model of PA where the carrier set is N and Tennenbaum

score 120 · Answer 1 · 2026-03-25 04:41:36

120

Views

Nonstandard Model of PA where the carrier set is N and Tennenbaum

Published on 25 Mar 2026 - 4:41

score 453 · Answer 2 · 2016-10-19 14:08:36

453

Views

Is there a statement independent from PA and does not increase the consistency strength?

Published on 19 Oct 2016 - 14:08

score 562 · Answer 3 · 2016-10-20 18:06:50

562

Views

Are there natural numbers that are not the descendant of 0?

Published on 20 Oct 2016 - 18:06

score 239 · Answer 4 · 2016-10-21 15:32:45

239

Views

Why induction is defined as an implication instead of an "if and only if" statement?

Published on 21 Oct 2016 - 15:32

score 383 · Answer 5 · 2026-03-25 12:13:08

383

Views

Are 'numerals' closed under exponentiation?

Published on 25 Mar 2026 - 12:13

score 327 · Answer 6 · 2026-03-25 11:03:28

327

Views

What is one set of axioms which are sufficient for Calculus?

Published on 25 Mar 2026 - 11:03

score 224 · Answer 7 · 2026-03-26 12:36:42

224

Views

Proof of $(0=0)$ in Gödel's system

Published on 26 Mar 2026 - 12:36

score 474 · Answer 8 · 2016-10-29 00:28:28

474

Views

Is there a 'nice' axiomatization in the language of arithmetic of the statements ZF proves about the natural numbers?

Published on 29 Oct 2016 - 0:28

score 221 · Answer 9 · 2016-11-01 17:59:51

221

Views

Simple addition definition in ZFC

Published on 01 Nov 2016 - 17:59

score 325 · Answer 10 · 2016-11-07 18:24:01

325

Views

On Peano's 5 postulates

Published on 07 Nov 2016 - 18:24

score 136 · Answer 11 · 2016-11-08 12:43:02

136

Views

From Peano's 3rd axiom to Russell's axiom of infinity

Published on 08 Nov 2016 - 12:43

score 37 · Answer 12 · 2026-03-25 22:03:24

37

Views

How can we justify use of induction when proving $\mathsf{PA}^-\vdash\varphi$

Published on 25 Mar 2026 - 22:03

score 161 · Answer 13 · 2016-11-11 10:04:01

161

Views

Paradox in Godel's statement

Published on 11 Nov 2016 - 10:04

score 655 · Answer 14 · 2026-03-25 04:39:37

655

Views

What does Robinson's overspill lemma tell us?

Published on 25 Mar 2026 - 4:39

score 67 · Answer 15 · 2026-03-26 01:11:05

67

Views

Question about a proof of PA$_2$'s categoricity

Published on 26 Mar 2026 - 1:11

List Question

Nonstandard Model of PA where the carrier set is N and Tennenbaum

Is there a statement independent from PA and does not increase the consistency strength?

Are there natural numbers that are not the descendant of 0?

Why induction is defined as an implication instead of an "if and only if" statement?

Are 'numerals' closed under exponentiation?

What is one set of axioms which are sufficient for Calculus?

Proof of $(0=0)$ in Gödel's system

Is there a 'nice' axiomatization in the language of arithmetic of the statements ZF proves about the natural numbers?

Simple addition definition in ZFC

On Peano's 5 postulates

From Peano's 3rd axiom to Russell's axiom of infinity

How can we justify use of induction when proving $\mathsf{PA}^-\vdash\varphi$

Paradox in Godel's statement

What does Robinson's overspill lemma tell us?

Question about a proof of PA$_2$'s categoricity

Trending Questions

Popular # Hahtags

Popular Questions