Question

Defining multiplication on the non-negative hyperreal numbers ala the Tarski/Eudoxus technique

score 116 · Answer 1 · 2020-08-10 19:03:07

116

Views

Defining multiplication on the non-negative hyperreal numbers ala the Tarski/Eudoxus technique

Published on 10 Aug 2020 - 19:03

score 194 · Answer 2 · 2026-02-23 10:19:31

194

Views

Is my derivation of $\vdash (\forall x)(B \implies C) \implies ((\forall x)B \implies (\forall x)C)$ correct?

Published on 23 Feb 2026 - 10:19

score 128 · Answer 3 · 2020-08-16 17:31:28

128

Views

Construction of Real Number by Dedekind Cuts

Published on 16 Aug 2020 - 17:31

score 68 · Answer 4 · 2020-08-17 16:18:57

68

Views

Help with a proof of a consequence from the axioms of addition and multiplication

Published on 17 Aug 2020 - 16:18

score 380 · Answer 5 · 2026-03-29 07:29:10

380

Views

Prove trichotomy law of addition in $\mathbb{N}$ (Peano Axioms).

Published on 29 Mar 2026 - 7:29

score 456 · Answer 6 · 2026-04-02 06:02:44

456

Views

Axiomatic definition of groups

Published on 02 Apr 2026 - 6:02

score 128 · Answer 7 · 2020-08-21 03:19:31

128

Views

process of coming up with a definition or axiom?

Published on 21 Aug 2020 - 3:19

score 86 · Answer 8 · 2026-03-29 02:47:38

86

Views

Is my proof of $\vdash (\forall x)(B \implies C) \implies ((\forall x)B \implies (\forall x)C)$, without using deduction theorem, correct?

Published on 29 Mar 2026 - 2:47

score 395 · Answer 9 · 2020-08-27 17:01:15

395

Views

Issues with von Mises axioms of probability

Published on 27 Aug 2020 - 17:01

score 156 · Answer 10 · 2026-04-02 06:02:52

156

Views

Problems with any non-Kolmogorovian (frequentistic, subjective etc.) approaches to probability

Published on 02 Apr 2026 - 6:02

score 157 · Answer 11 · 2026-03-30 12:25:59

157

Views

Does $\{ 0, \{ 0 \} \}$ contradict the axiom of regularity?

Published on 30 Mar 2026 - 12:25

score 100 · Answer 12 · 2020-08-31 11:20:50

100

Views

Is there an abstract theory of functions?

Published on 31 Aug 2020 - 11:20

score 97 · Answer 13 · 2020-09-01 18:42:45

97

Views

What stays behind all complex numbers axioms?

Published on 01 Sep 2020 - 18:42

score 107 · Answer 14 · 2026-02-23 22:25:35

107

Views

Catergorical Axiomatic System

Published on 23 Feb 2026 - 22:25

score 47 · Answer 15 · 2020-09-11 19:43:27

47

Views

Sets containing itself and axiom of regularity

Published on 11 Sep 2020 - 19:43

List Question

Defining multiplication on the non-negative hyperreal numbers ala the Tarski/Eudoxus technique

Is my derivation of $\vdash (\forall x)(B \implies C) \implies ((\forall x)B \implies (\forall x)C)$ correct?

Construction of Real Number by Dedekind Cuts

Help with a proof of a consequence from the axioms of addition and multiplication

Prove trichotomy law of addition in $\mathbb{N}$ (Peano Axioms).

Axiomatic definition of groups

process of coming up with a definition or axiom?

Is my proof of $\vdash (\forall x)(B \implies C) \implies ((\forall x)B \implies (\forall x)C)$, without using deduction theorem, correct?

Issues with von Mises axioms of probability

Problems with any non-Kolmogorovian (frequentistic, subjective etc.) approaches to probability

Does $\{ 0, \{ 0 \} \}$ contradict the axiom of regularity?

Is there an abstract theory of functions?

What stays behind all complex numbers axioms?

Catergorical Axiomatic System

Sets containing itself and axiom of regularity

Trending Questions

Popular # Hahtags

Popular Questions