Question

Proving $\langle \Bbb R,+ \rangle \cong \langle \Bbb C,+ \rangle$ without choice

score 104 · Answer 1 · 2017-09-16 07:03:32

104

Views

Proving $\langle \Bbb R,+ \rangle \cong \langle \Bbb C,+ \rangle$ without choice

Published on 16 Sep 2017 - 7:03

score 98 · Answer 2 · 2017-09-16 11:06:43

98

Views

Existence of inaccessible natural number divisible by every standard natural number under PA

Published on 16 Sep 2017 - 11:06

score 144 · Answer 3 · 2017-09-21 19:59:11

144

Views

Prove that there exist no natural number k such that $3^k+5^k$ is a square of an integer number?

Published on 21 Sep 2017 - 19:59

score 1k · Answer 4 · 2017-09-21 20:33:37

1k

Views

Prove that if numbers $p$ and $8p^2+1$ are prime numbers then $8p^2-1$ is also a prime number.

Published on 21 Sep 2017 - 20:33

score 29 · Answer 5 · 2017-10-08 09:06:26

Prove if $m \in \mathbb{Z}$ and $n \in \mathbb{Z} \backslash \{ −1, 0 \}$, $\frac{m + 1}{n+1}$>$\frac{m}{n}$

score 113 · Answer 6 · 2017-10-12 13:26:12

113

Views

Are any proofs of undecidability in ZFC also proofs of truth for properties of numbers?

Published on 12 Oct 2017 - 13:26

score 1.1k · Answer 7 · 2017-10-20 17:16:54

1.1k

Views

Models of first-order logic and cardinalities of the domain

Published on 20 Oct 2017 - 17:16

score 1.7k · Answer 8 · 2017-10-22 22:52:23

1.7k

Views

Were there any proofs of whether or not a statement could be proved true or false before Gödel's Incompleteness Theorems?

Published on 22 Oct 2017 - 22:52

score 679 · Answer 9 · 2026-03-25 13:56:52

679

Views

Model of concatenation theory with left-cancellation but no right-cancellation

Published on 25 Mar 2026 - 13:56

score 98 · Answer 10 · 2017-11-16 23:03:32

98

Views

Does V have a model that looks like V, according to Morse-Kelly set theory?

Published on 16 Nov 2017 - 23:03

score 98 · Answer 11 · 2017-11-17 17:14:13

98

Views

Proving $\frac{0}{0} = \infty$

Published on 17 Nov 2017 - 17:14

score 391 · Answer 12 · 2017-12-08 17:19:09

391

Views

Squares of relatively prime numbers

Published on 08 Dec 2017 - 17:19

score 98 · Answer 13 · 2017-12-09 07:11:02

98

Views

Equivalence of different consistency sentences

Published on 09 Dec 2017 - 7:11

score 345 · Answer 14 · 2017-12-15 17:49:11

345

Views

Brutal gaussian integral of death $\int_{\mathbb{R}} x \Phi(x) \phi(Bx-b)$

Published on 15 Dec 2017 - 17:49

score 488 · Answer 15 · 2017-12-16 10:34:38

488

Views

Computable extension to $Σ_1$-sound system that is $Σ_2$-unsound?

Published on 16 Dec 2017 - 10:34

List Question

Proving $\langle \Bbb R,+ \rangle \cong \langle \Bbb C,+ \rangle$ without choice

Existence of inaccessible natural number divisible by every standard natural number under PA

Prove that there exist no natural number k such that $3^k+5^k$ is a square of an integer number?

Prove that if numbers $p$ and $8p^2+1$ are prime numbers then $8p^2-1$ is also a prime number.

Prove if $m \in \mathbb{Z}$ and $n \in \mathbb{Z} \backslash \{ −1, 0 \}$, $\frac{m + 1}{n+1}$>$\frac{m}{n}$

Are any proofs of undecidability in ZFC also proofs of truth for properties of numbers?

Models of first-order logic and cardinalities of the domain

Were there any proofs of whether or not a statement could be proved true or false before Gödel's Incompleteness Theorems?

Model of concatenation theory with left-cancellation but no right-cancellation

Does V have a model that looks like V, according to Morse-Kelly set theory?

Proving $\frac{0}{0} = \infty$

Squares of relatively prime numbers

Equivalence of different consistency sentences

Brutal gaussian integral of death $\int_{\mathbb{R}} x \Phi(x) \phi(Bx-b)$

Computable extension to $Σ_1$-sound system that is $Σ_2$-unsound?

Trending Questions

Popular # Hahtags

Popular Questions