Question

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

score 250 · Answer 1 · 2026-03-25 03:03:51

250

Views

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

Published on 25 Mar 2026 - 3:03

score 100 · Answer 2 · 2026-03-25 04:39:07

100

Views

Ordering between formal theories by provability of consistency

Published on 25 Mar 2026 - 4:39

score 54 · Answer 3 · 2018-12-08 15:03:33

54

Views

theory scope and proof

Published on 08 Dec 2018 - 15:03

score 55 · Answer 4 · 2018-12-09 20:37:16

55

Views

proof by finding suitable instances and resolution

Published on 09 Dec 2018 - 20:37

score 180 · Answer 5 · 2026-03-25 07:45:06

180

Views

recursive inseparability of the two Gödelnumber-sets: theorems and 'anti-theorems' of EA

Published on 25 Mar 2026 - 7:45

score 184 · Answer 6 · 2026-03-25 04:27:07

184

Views

Is $A \& B \multimap A$ derivable?

Published on 25 Mar 2026 - 4:27

score 267 · Answer 7 · 2026-03-25 06:06:35

267

Views

n-consistency - provability/truth of $\Sigma^0_n$ and $\Pi^0_{n+1}$ -formulas; n-consistent extensions, etc.

Published on 25 Mar 2026 - 6:06

score 107 · Answer 8 · 2018-12-15 12:01:58

107

Views

Conservative extension of an empty theory

Published on 15 Dec 2018 - 12:01

score 117 · Answer 9 · 2018-12-17 08:53:34

117

Views

Henkin conservative extension of an empty theory

Published on 17 Dec 2018 - 8:53

score 78 · Answer 10 · 2018-12-20 06:49:56

78

Views

Question about Manin's proof of Fundamental Lemma 6.5 for Gödel's completeness theorem

Published on 20 Dec 2018 - 6:49

score 47 · Answer 11 · 2018-12-22 09:37:06

47

Views

Validity of "rank" construction in Manin's proof of Lemma 6.7 for Gödel's completeness theorem

Published on 22 Dec 2018 - 9:37

score 348 · Answer 12 · 2026-03-25 07:49:06

348

Views

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

Published on 25 Mar 2026 - 7:49

score 64 · Answer 13 · 2018-12-26 23:03:13

64

Views

About provable-recursive functions in EA

Published on 26 Dec 2018 - 23:03

score 995 · Answer 14 · 2026-03-25 07:42:23

995

Views

When should I use RAA in natural deduction proofs?

Published on 25 Mar 2026 - 7:42

score 634 · Answer 15 · 2026-03-25 08:09:01

634

Views

Show that the proof rule is not sound and proof question

Published on 25 Mar 2026 - 8:09

List Question

Are the HBL derivability conditions necessary for Gödel's incompleteness theorems? (For Löb's theorem?)

Ordering between formal theories by provability of consistency

theory scope and proof

proof by finding suitable instances and resolution

recursive inseparability of the two Gödelnumber-sets: theorems and 'anti-theorems' of EA

Is $A \& B \multimap A$ derivable?

n-consistency - provability/truth of $\Sigma^0_n$ and $\Pi^0_{n+1}$ -formulas; n-consistent extensions, etc.

Conservative extension of an empty theory

Henkin conservative extension of an empty theory

Question about Manin's proof of Fundamental Lemma 6.5 for Gödel's completeness theorem

Validity of "rank" construction in Manin's proof of Lemma 6.7 for Gödel's completeness theorem

Trouble understanding proof to $\vdash ((\neg(\phi\rightarrow \psi))\rightarrow\phi)$?

About provable-recursive functions in EA

When should I use RAA in natural deduction proofs?

Show that the proof rule is not sound and proof question

Trending Questions

Popular # Hahtags

Popular Questions