Question

Axiomatizing inequality of objects of different types in first-order logic

score 73 · Answer 1 · 2017-05-19 02:02:36

73

Views

Axiomatizing inequality of objects of different types in first-order logic

Published on 19 May 2017 - 2:02

score 74 · Answer 2 · 2017-05-23 20:51:23

74

Views

Show that if $A$ is finite, then $Def(A) = P(A)$, where $P(A)$ is the power set of $A$.

Published on 23 May 2017 - 20:51

score 401 · Answer 3 · 2017-05-30 16:11:14

401

Views

Can a formal system's consistency be an axiom of that system?

Published on 30 May 2017 - 16:11

score 311 · Answer 4 · 2017-06-01 10:24:56

311

Views

Axiom of regularity definition

Published on 01 Jun 2017 - 10:24

score 112 · Answer 5 · 2017-06-04 21:42:34

112

Views

What does these axioms in Robinson arithmetic mean?

Published on 04 Jun 2017 - 21:42

score 221 · Answer 6 · 2017-06-05 13:58:20

221

Views

What are physical arguments that the norm on 'the Euclidean plane' should come from an inner product?

Published on 05 Jun 2017 - 13:58

score 114 · Answer 7 · 2017-06-11 14:37:15

114

Views

Is the set $I$ in the axiom of infinity often interpreted to be an actual infinite set?

Published on 11 Jun 2017 - 14:37

score 292 · Answer 8 · 2017-06-14 05:07:37

292

Views

4 elements set and a binary operation

Published on 14 Jun 2017 - 5:07

score 229 · Answer 9 · 2017-06-14 12:17:05

229

Views

Can Kolmogorov axioms be deduced from ZFC axioms?

Published on 14 Jun 2017 - 12:17

score 458 · Answer 10 · 2017-06-15 09:14:56

458

Views

Two types of axiomatic theories in mathematics

Published on 15 Jun 2017 - 9:14

score 127 · Answer 11 · 2026-03-26 02:54:30

127

Views

Does introducing a new type create a different extension, and is it still conservative?

Published on 26 Mar 2026 - 2:54

score 101 · Answer 12 · 2017-06-18 06:31:18

101

Views

Is Frobenius product distributive wrt addition?

Published on 18 Jun 2017 - 6:31

score 444 · Answer 13 · 2017-06-23 07:23:46

444

Views

Proving Properties of Integers from the Definition as the Smallest Inductive Set in $\mathbb{R}$

Published on 23 Jun 2017 - 7:23

score 169 · Answer 14 · 2017-06-24 16:09:53

169

Views

Independence of axioms

Published on 24 Jun 2017 - 16:09

score 214 · Answer 15 · 2026-03-26 17:29:19

214

Views

First order axioms for sequence theory?

Published on 26 Mar 2026 - 17:29

List Question

Axiomatizing inequality of objects of different types in first-order logic

Show that if $A$ is finite, then $Def(A) = P(A)$, where $P(A)$ is the power set of $A$.

Can a formal system's consistency be an axiom of that system?

Axiom of regularity definition

What does these axioms in Robinson arithmetic mean?

What are physical arguments that the norm on 'the Euclidean plane' should come from an inner product?

Is the set $I$ in the axiom of infinity often interpreted to be an actual infinite set?

4 elements set and a binary operation

Can Kolmogorov axioms be deduced from ZFC axioms?

Two types of axiomatic theories in mathematics

Does introducing a new type create a different extension, and is it still conservative?

Is Frobenius product distributive wrt addition?

Proving Properties of Integers from the Definition as the Smallest Inductive Set in $\mathbb{R}$

Independence of axioms

First order axioms for sequence theory?

Trending Questions

Popular # Hahtags

Popular Questions