Question

Provability vs. implication?

score 133 · Answer 1 · 2017-12-29 00:53:42

133

Views

Provability vs. implication?

Published on 29 Dec 2017 - 0:53

score 97 · Answer 2 · 2018-01-07 21:30:28

97

Views

Deduction from negation of uniqueness quantifier

Published on 07 Jan 2018 - 21:30

score 127 · Answer 3 · 2018-01-12 11:25:55

127

Views

Being not "close" to ZFC and not "far away" from it at the same time

Published on 12 Jan 2018 - 11:25

score 827 · Answer 4 · 2018-01-12 23:50:42

827

Views

How to justify: Proof by contradiction ? (First Order Logic)

Published on 12 Jan 2018 - 23:50

score 224 · Answer 5 · 2012-03-20 08:19:05

224

Views

Uniqueness of super godel numbers of $\varphi$ and $\neg \varphi$

Published on 20 Mar 2012 - 8:19

score 994 · Answer 6 · 2012-04-05 13:55:02

994

Views

Need help understanding a proof in Boolos's "The Logic of Provability"

Published on 05 Apr 2012 - 13:55

score 2.3k · Answer 7 · 2026-02-23 19:17:10

2.3k

Views

Is there a decision procedure for intuitionistic propositional logic?

Published on 23 Feb 2026 - 19:17

score 398 · Answer 8 · 2012-07-08 07:26:47

398

Views

Why isn't GL system of provability logic reflexive?

Published on 08 Jul 2012 - 7:26

score 349 · Answer 9 · 2012-07-22 08:56:12

349

Views

properties of the provability predicate applied to open formulas

Published on 22 Jul 2012 - 8:56

score 543 · Answer 10 · 2013-02-06 04:32:28

543

Views

Is it possible that two theories be equiconsistent, with Peano Arithmetic not able to prove this?

Published on 06 Feb 2013 - 4:32

score 51 · Answer 11 · 2020-08-11 18:49:23

Proof that $\textsf{Prv}(y) \ \& \ y \neq \ulcorner \textbf{0} = \textbf{1} \urcorner$ meets third Hilbert–Bernays provability condition

score 1.1k · Answer 12 · 2020-09-08 04:46:40

1.1k

Views

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

Published on 08 Sep 2020 - 4:46

score 148 · Answer 13 · 2020-09-10 01:03:19

148

Views

If $a^2+b^2-ab=c^2$ for positive $a$, $b$, $c$, then show that $(a-c)(b-c)\leq0$

Published on 10 Sep 2020 - 1:03

score 64 · Answer 14 · 2020-09-29 22:55:24

64

Views

Showing there is an infinity of prime numbers of the form $12k+11$

Published on 29 Sep 2020 - 22:55

score 75 · Answer 15 · 2020-10-08 12:19:23

75

Views

How can I prove that primitive recursion "preserves" representability in Peano Arithmetic?

Published on 08 Oct 2020 - 12:19

List Question

Provability vs. implication?

Deduction from negation of uniqueness quantifier

Being not "close" to ZFC and not "far away" from it at the same time

How to justify: Proof by contradiction ? (First Order Logic)

Uniqueness of super godel numbers of $\varphi$ and $\neg \varphi$

Need help understanding a proof in Boolos's "The Logic of Provability"

Is there a decision procedure for intuitionistic propositional logic?

Why isn't GL system of provability logic reflexive?

properties of the provability predicate applied to open formulas

Is it possible that two theories be equiconsistent, with Peano Arithmetic not able to prove this?

Proof that $\textsf{Prv}(y) \ \& \ y \neq \ulcorner \textbf{0} = \textbf{1} \urcorner$ meets third Hilbert–Bernays provability condition

In what sense is $\sf ZFC$ "stronger" than Peano arithmetic?

If $a^2+b^2-ab=c^2$ for positive $a$, $b$, $c$, then show that $(a-c)(b-c)\leq0$

Showing there is an infinity of prime numbers of the form $12k+11$

How can I prove that primitive recursion "preserves" representability in Peano Arithmetic?

Trending Questions

Popular # Hahtags

Popular Questions