Question

Is the tree of the complete extensions of a theory T a recursive tree?

score 52 · Answer 1 · 2017-04-18 23:32:37

52

Views

Is the tree of the complete extensions of a theory T a recursive tree?

Published on 18 Apr 2017 - 23:32

score 80 · Answer 2 · 2017-04-19 16:53:46

80

Views

Decidability of equations in True Arithmetic

Published on 19 Apr 2017 - 16:53

score 56 · Answer 3 · 2026-03-28 14:53:45

56

Views

Elementary proof that $\Bbb Z[\sqrt d]$ is an ordered ring

Published on 28 Mar 2026 - 14:53

score 594 · Answer 4 · 2017-04-28 18:23:38

594

Views

Why are we using first-order logic and how to fix PA?

Published on 28 Apr 2017 - 18:23

score 944 · Answer 5 · 2017-04-29 18:22:26

944

Views

Are the standard natural numbers an outstanding model of PA?

Published on 29 Apr 2017 - 18:22

score 603 · Answer 6 · 2026-03-26 12:38:34

603

Views

Is it possible to derive the axiom of induction from a construction of the natural numbers?

Published on 26 Mar 2026 - 12:38

score 90 · Answer 7 · 2026-03-25 12:20:38

90

Views

Nonstandard Model of PA where the carrier set is N

Published on 25 Mar 2026 - 12:20

score 197 · Answer 8 · 2026-03-25 12:15:26

197

Views

Intuitive Demonstration of Tennenbaum Theorem?

Published on 25 Mar 2026 - 12:15

score 417 · Answer 9 · 2026-03-28 00:35:29

417

Views

True, but unprovable statements and the Hydra problem. (Gödel's incompleteness)

Published on 28 Mar 2026 - 0:35

score 218 · Answer 10 · 2017-05-30 16:50:50

218

Views

Proving that induction works for von Neuman's construction of naturals

Published on 30 May 2017 - 16:50

score 563 · Answer 11 · 2026-03-26 12:54:05

563

Views

Are provable statements at the bottom of the arithmetical hierarchy?

Published on 26 Mar 2026 - 12:54

score 154 · Answer 12 · 2017-07-13 12:27:37

154

Views

Why induction prevents interlacing in $\mathbb{N}$

Published on 13 Jul 2017 - 12:27

score 77 · Answer 13 · 2017-07-17 01:04:30

77

Views

Prove that it is impossible to define $0$ and "multiplication" on $\Bbb N^2$ such that it becomes a model of PA

Published on 17 Jul 2017 - 1:04

score 647 · Answer 14 · 2017-07-17 09:47:17

647

Views

Peano's Axiom: Is it implied that successor of a number is not the number itself?

Published on 17 Jul 2017 - 9:47

score 458 · Answer 15 · 2017-07-18 10:06:50

458

Views

Questions about Peano axioms and second-order logic

Published on 18 Jul 2017 - 10:06

List Question

Is the tree of the complete extensions of a theory T a recursive tree?

Decidability of equations in True Arithmetic

Elementary proof that $\Bbb Z[\sqrt d]$ is an ordered ring

Why are we using first-order logic and how to fix PA?

Are the standard natural numbers an outstanding model of PA?

Is it possible to derive the axiom of induction from a construction of the natural numbers?

Nonstandard Model of PA where the carrier set is N

Intuitive Demonstration of Tennenbaum Theorem?

True, but unprovable statements and the Hydra problem. (Gödel's incompleteness)

Proving that induction works for von Neuman's construction of naturals

Are provable statements at the bottom of the arithmetical hierarchy?

Why induction prevents interlacing in $\mathbb{N}$

Prove that it is impossible to define $0$ and "multiplication" on $\Bbb N^2$ such that it becomes a model of PA

Peano's Axiom: Is it implied that successor of a number is not the number itself?

Questions about Peano axioms and second-order logic

Trending Questions

Popular # Hahtags

Popular Questions