Question

Growth-rate vs totality

score 437 · Answer 1 · 2026-03-26 07:57:43

437

Views

Growth-rate vs totality

Published on 26 Mar 2026 - 7:57

score 119 · Answer 2 · 2013-05-16 02:27:12

119

Views

What model do you get from PA without addition and multiplication?

Published on 16 May 2013 - 2:27

score 123 · Answer 3 · 2026-03-26 08:02:17

123

Views

Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves $T(\ulcorner A\urcorner)\equiv A$

Published on 26 Mar 2026 - 8:02

score 267 · Answer 4 · 2013-06-09 16:35:38

267

Views

How common (dense) are undecidable propositions in Peano Arithmetic?

Published on 09 Jun 2013 - 16:35

score 695 · Answer 5 · 2013-06-23 17:29:23

695

Views

Is this first order version of the Collatz conjecture decidable in peano arithmetic?

Published on 23 Jun 2013 - 17:29

score 570 · Answer 6 · 2013-06-25 19:54:00

570

Views

For all natural numbers $x$ and $y$, there is a natural number $z$ such that $x=y+z$ or $y=x+z$

Published on 25 Jun 2013 - 19:54

score 249 · Answer 7 · 2013-06-28 00:58:55

249

Views

Does $S(x) = x+1$ always hold in Peano arithmetic?

Published on 28 Jun 2013 - 0:58

score 273 · Answer 8 · 2026-03-26 00:01:56

273

Views

Not Skolem's Paradox

Published on 26 Mar 2026 - 0:01

score 238 · Answer 9 · 2026-03-25 12:48:31

238

Views

Definability of Kolmogorov Complexity?

Published on 25 Mar 2026 - 12:48

score 3.7k · Answer 10 · 2013-07-22 01:27:36

3.7k

Views

Why are addition and multiplication included in the signature of first-order Peano arithmetic?

Published on 22 Jul 2013 - 1:27

score 108 · Answer 11 · 2013-08-02 03:04:51

108

Views

What is the absolute minimum that must be accepted/defined in order to prove 1+1=2?

Published on 02 Aug 2013 - 3:04

score 3.7k · Answer 12 · 2013-08-03 17:23:09

3.7k

Views

Deducing PA's axioms in ZFC

Published on 03 Aug 2013 - 17:23

score 5k · Answer 13 · 2013-08-07 08:07:22

5k

Views

What is the Peano definition of subtraction?

Published on 07 Aug 2013 - 8:07

score 210 · Answer 14 · 2013-08-08 13:56:17

210

Views

Can we define root extraction using Peano Arithmetic?

Published on 08 Aug 2013 - 13:56

score 126 · Answer 15 · 2013-08-18 00:15:10

126

Views

A subalgebra of $P(M, \Delta)$ is a Peano Algebra

Published on 18 Aug 2013 - 0:15

List Question

Growth-rate vs totality

What model do you get from PA without addition and multiplication?

Can we add to PA a new predicate T such that for every sentence A of the old vocabulary the new theory proves $T(\ulcorner A\urcorner)\equiv A$

How common (dense) are undecidable propositions in Peano Arithmetic?

Is this first order version of the Collatz conjecture decidable in peano arithmetic?

For all natural numbers $x$ and $y$, there is a natural number $z$ such that $x=y+z$ or $y=x+z$

Does $S(x) = x+1$ always hold in Peano arithmetic?

Not Skolem's Paradox

Definability of Kolmogorov Complexity?

Why are addition and multiplication included in the signature of first-order Peano arithmetic?

What is the absolute minimum that must be accepted/defined in order to prove 1+1=2?

Deducing PA's axioms in ZFC

What is the Peano definition of subtraction?

Can we define root extraction using Peano Arithmetic?

A subalgebra of $P(M, \Delta)$ is a Peano Algebra

Trending Questions

Popular # Hahtags

Popular Questions