Question

Are results of relative consistency metatheorems?

score 261 · Answer 1 · 2026-03-25 09:27:21

261

Views

Are results of relative consistency metatheorems?

Published on 25 Mar 2026 - 9:27

score 144 · Answer 2 · 2026-03-25 09:29:11

144

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 25 Mar 2026 - 9:29

score 35 · Answer 3 · 2026-03-25 11:01:40

35

Views

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

Published on 25 Mar 2026 - 11:01

score 315 · Answer 4 · 2026-03-27 07:34:32

315

Views

Arithmetic systems without Induction

Published on 27 Mar 2026 - 7:34

score 115 · Answer 5 · 2026-05-10 12:34:43

115

Views

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

Published on 10 May 2026 - 12:34

score 192 · Answer 6 · 2026-03-25 11:02:42

192

Views

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

Published on 25 Mar 2026 - 11:02

score 143 · Answer 7 · 2026-04-24 23:58:06

143

Views

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

Published on 24 Apr 2026 - 23:58

score 520 · Answer 8 · 2026-03-27 16:30:08

520

Views

Metamathematics and the foundations of mathematics

Published on 27 Mar 2026 - 16:30

score 197 · Answer 9 · 2026-03-25 09:23:46

197

Views

Formalizing the deduction theorem in the metatheory

Published on 25 Mar 2026 - 9:23

score 97 · Answer 10 · 2026-03-25 16:02:09

97

Views

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

Published on 25 Mar 2026 - 16:02

score 268 · Answer 11 · 2026-05-10 14:03:14

268

Views

Definitions in metamathematics

Published on 10 May 2026 - 14:03

score 756 · Answer 12 · 2026-03-25 10:52:25

756

Views

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

Published on 25 Mar 2026 - 10:52

score 622 · Answer 13 · 2026-03-25 09:29:52

622

Views

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

Published on 25 Mar 2026 - 9:29

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 99 · Answer 15 · 2026-04-22 19:49:16

99

Views

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

Published on 22 Apr 2026 - 19:49

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