Question

Are results of relative consistency metatheorems?

score 260 · Answer 1 · 2018-12-26 04:18:20

260

Views

Are results of relative consistency metatheorems?

Published on 26 Dec 2018 - 4:18

score 143 · Answer 2 · 2019-01-06 13:22:21

143

Views

Given two formulas $A$ and $B$, if $A$ follows from $B$ and $B$ follows from $A$ then is it true that $A$ and $B$ are equivalent?

Published on 06 Jan 2019 - 13:22

score 34 · Answer 3 · 2019-01-21 03:48:44

34

Views

Is there such a thing as ordering algebraic theories and, secondarily, their theorems?

Published on 21 Jan 2019 - 3:48

score 314 · Answer 4 · 2026-03-25 07:38:11

314

Views

Arithmetic systems without Induction

Published on 25 Mar 2026 - 7:38

score 109 · Answer 5 · 2026-03-25 04:40:49

109

Views

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Published on 25 Mar 2026 - 4:40

score 191 · Answer 6 · 2019-02-08 18:40:16

191

Views

Example of a $Δ_1$-formula that is not $Δ_0$ (arithmetical hierarchy).

Published on 08 Feb 2019 - 18:40

score 128 · Answer 7 · 2026-03-25 06:05:00

128

Views

Is there a computable and complete "probabilistic" theory of arithmetic?

Published on 25 Mar 2026 - 6:05

score 518 · Answer 8 · 2019-02-24 15:59:36

518

Views

Metamathematics and the foundations of mathematics

Published on 24 Feb 2019 - 15:59

score 196 · Answer 9 · 2019-03-05 12:33:34

196

Views

Formalizing the deduction theorem in the metatheory

Published on 05 Mar 2019 - 12:33

score 96 · Answer 10 · 2019-03-05 17:05:39

96

Views

Can any result on metric spaces be applied to metrizable spaces?

Published on 05 Mar 2019 - 17:05

score 264 · Answer 11 · 2019-03-12 20:20:23

264

Views

Definitions in metamathematics

Published on 12 Mar 2019 - 20:20

score 755 · Answer 12 · 2019-03-21 08:07:52

755

Views

Why do mathematicians generally write definitions in “declarative” rather than “imperative style?

Published on 21 Mar 2019 - 8:07

score 621 · Answer 13 · 2019-03-25 11:58:16

621

Views

How to prove that first-order PA proves the consistency of each of its finite sub-theories?

Published on 25 Mar 2019 - 11:58

score 44 · Answer 14 · 2026-03-24 23:46:00

44

Views

Intro to Metamathematics Kleene $\S54$ Lemma IId

Published on 24 Mar 2026 - 23:46

score 97 · Answer 15 · 2026-03-25 04:50:39

97

Views

Can we use metatheory of set theory for proof statements in set theory?

Published on 25 Mar 2026 - 4:50

List Question

Are results of relative consistency metatheorems?

Given two formulas $A$ and $B$, if $A$ follows from $B$ and $B$ follows from $A$ then is it true that $A$ and $B$ are equivalent?

Is there such a thing as ordering algebraic theories and, secondarily, their theorems?

Arithmetic systems without Induction

Can you recommend literature - easy/gentle/for self-study/introductory... - for the following topics...?

Example of a $Δ_1$-formula that is not $Δ_0$ (arithmetical hierarchy).

Is there a computable and complete "probabilistic" theory of arithmetic?

Metamathematics and the foundations of mathematics

Formalizing the deduction theorem in the metatheory

Can any result on metric spaces be applied to metrizable spaces?

Definitions in metamathematics

Why do mathematicians generally write definitions in “declarative” rather than “imperative style?

How to prove that first-order PA proves the consistency of each of its finite sub-theories?

Intro to Metamathematics Kleene $\S54$ Lemma IId

Can we use metatheory of set theory for proof statements in set theory?

Trending Questions

Popular # Hahtags

Popular Questions