Question

Show a model of $\mathbf{Q}$ where this is false $\forall x \forall y (x \cdot y = y \cdot x) $

score 46 · Answer 1 · 2026-03-25 13:56:23

46

Views

Show a model of $\mathbf{Q}$ where this is false $\forall x \forall y (x \cdot y = y \cdot x) $

Published on 25 Mar 2026 - 13:56

score 67 · Answer 2 · 2026-03-25 13:55:09

67

Views

Demonstrate a nondenumerable set of consistent extensions of $\mathbf{Q}$ that are pairwise inconsistent.

Published on 25 Mar 2026 - 13:55

score 259 · Answer 3 · 2021-05-19 08:07:14

259

Views

How to prove the consistency of a collection of axioms?

Published on 19 May 2021 - 8:07

score 141 · Answer 4 · 2021-05-27 09:26:59

141

Views

Is there a category (or rather a mathematical theory) for which we know a lot about, but not whether its object class is empty or not?

Published on 27 May 2021 - 9:26

score 23 · Answer 5 · 2021-06-11 05:42:51

Method for calculating exponents and beyond with logarithmic growth provided a memorized set of smaller problems

score 318 · Answer 6 · 2026-03-25 13:52:54

318

Views

Can metalogic and model theory be formalized?

Published on 25 Mar 2026 - 13:52

score 143 · Answer 7 · 2026-02-23 12:08:48

143

Views

how universal is Conway's game of life? is it reasonable to expect that a technological alien civilization would recognize, say, a glider?

Published on 23 Feb 2026 - 12:08

score 79 · Answer 8 · 2021-06-30 17:27:15

79

Views

Definition by generalized recursion, Peter Hinman's Foundations of mathematical logic

Published on 30 Jun 2021 - 17:27

score 114 · Answer 9 · 2021-08-01 16:34:58

114

Views

What formal logic has the smallest metatheory?

Published on 01 Aug 2021 - 16:34

score 173 · Answer 10 · 2026-03-23 21:52:08

173

Views

Why isn't math proofs just a computer trial and error?

Published on 23 Mar 2026 - 21:52

score 98 · Answer 11 · 2026-03-25 13:53:37

98

Views

Meta-Definition of Convergence

Published on 25 Mar 2026 - 13:53

score 116 · Answer 12 · 2021-10-08 12:22:49

116

Views

why Gödel use $[R(n);n]$ in his introduction?

Published on 08 Oct 2021 - 12:22

score 97 · Answer 13 · 2021-10-10 04:04:52

97

Views

If a metatheory proves consistency of a theory, will consistency of the metatheory suffice?

Published on 10 Oct 2021 - 4:04

score 69 · Answer 14 · 2021-11-15 23:19:46

69

Views

Are the naturals really a subset of the real numbers?

Published on 15 Nov 2021 - 23:19

score 67 · Answer 15 · 2021-11-30 03:11:34

67

Views

A question about the seventh formative criteria in Bourbaki's Theory of Sets

Published on 30 Nov 2021 - 3:11

List Question

Show a model of $\mathbf{Q}$ where this is false $\forall x \forall y (x \cdot y = y \cdot x) $

Demonstrate a nondenumerable set of consistent extensions of $\mathbf{Q}$ that are pairwise inconsistent.

How to prove the consistency of a collection of axioms?

Is there a category (or rather a mathematical theory) for which we know a lot about, but not whether its object class is empty or not?

Method for calculating exponents and beyond with logarithmic growth provided a memorized set of smaller problems

Can metalogic and model theory be formalized?

how universal is Conway's game of life? is it reasonable to expect that a technological alien civilization would recognize, say, a glider?

Definition by generalized recursion, Peter Hinman's Foundations of mathematical logic

What formal logic has the smallest metatheory?

Why isn't math proofs just a computer trial and error?

Meta-Definition of Convergence

why Gödel use $[R(n);n]$ in his introduction?

If a metatheory proves consistency of a theory, will consistency of the metatheory suffice?

Are the naturals really a subset of the real numbers?

A question about the seventh formative criteria in Bourbaki's Theory of Sets

Trending Questions

Popular # Hahtags

Popular Questions