Question

What is "the quantifier axioms of L" and why are they true in all L-structures?

score 510 · Answer 1 · 2018-09-28 04:03:18

510

Views

What is "the quantifier axioms of L" and why are they true in all L-structures?

Published on 28 Sep 2018 - 4:03

score 139 · Answer 2 · 2018-09-28 06:02:15

139

Views

Different axioms of probability

Published on 28 Sep 2018 - 6:02

score 257 · Answer 3 · 2018-09-30 07:17:08

257

Views

When does $\exists x \forall y \phi(x,y) \leftrightarrow \forall y \exists x \phi(x,y)$ hold?

Published on 30 Sep 2018 - 7:17

score 76 · Answer 4 · 2018-09-30 12:21:08

76

Views

ZF + (Weak Axiom) $\vdash$ Dedekind Finite Implies Finite (Direct Proof)

Published on 30 Sep 2018 - 12:21

score 91 · Answer 5 · 2018-10-03 10:26:14

91

Views

What does this ZF+[AOC-Lite] Look Like?

Published on 03 Oct 2018 - 10:26

score 305 · Answer 6 · 2018-10-05 02:15:54

305

Views

The most difficult way of proving that a countable union of countable sets is countable

Published on 05 Oct 2018 - 2:15

score 54 · Answer 7 · 2018-10-05 15:00:20

54

Views

axiom of extensionality word definition

Published on 05 Oct 2018 - 15:00

score 55 · Answer 8 · 2018-10-06 22:24:47

55

Views

Question about the distributivity axiom of vector spaces

Published on 06 Oct 2018 - 22:24

score 50 · Answer 9 · 2018-10-15 10:24:15

50

Views

Why do we need the following set to have an infinite set?

Published on 15 Oct 2018 - 10:24

score 375 · Answer 10 · 2018-10-16 10:31:27

375

Views

Do we need AC to have a least upper bound property?

Published on 16 Oct 2018 - 10:31

score 189 · Answer 11 · 2018-10-16 12:19:29

189

Views

Deriving least upper bound property from one particular axiom of completeness

Published on 16 Oct 2018 - 12:19

score 699 · Answer 12 · 2026-03-25 06:30:20

699

Views

Redunduncy of Pasch's Axiom of Hilbert's Foundations of Geometry

Published on 25 Mar 2026 - 6:30

score 688 · Answer 13 · 2026-02-23 01:20:49

688

Views

Derive $P \to \neg \neg P$ in a structure with not and implies

Published on 23 Feb 2026 - 1:20

score 596 · Answer 14 · 2018-10-20 11:08:18

596

Views

Translating Tarski's Axiomatization/Logic of $\mathbb R$ to the Theory of Magnitudes

Published on 20 Oct 2018 - 11:08

score 319 · Answer 15 · 2026-03-25 06:25:03

319

Views

Axiom Problems (Intro to Computer Logic)

Published on 25 Mar 2026 - 6:25

List Question

What is "the quantifier axioms of L" and why are they true in all L-structures?

Different axioms of probability

When does $\exists x \forall y \phi(x,y) \leftrightarrow \forall y \exists x \phi(x,y)$ hold?

ZF + (Weak Axiom) $\vdash$ Dedekind Finite Implies Finite (Direct Proof)

What does this ZF+[AOC-Lite] Look Like?

The most difficult way of proving that a countable union of countable sets is countable

axiom of extensionality word definition

Question about the distributivity axiom of vector spaces

Why do we need the following set to have an infinite set?

Do we need AC to have a least upper bound property?

Deriving least upper bound property from one particular axiom of completeness

Redunduncy of Pasch's Axiom of Hilbert's Foundations of Geometry

Derive $P \to \neg \neg P$ in a structure with not and implies

Translating Tarski's Axiomatization/Logic of $\mathbb R$ to the Theory of Magnitudes

Axiom Problems (Intro to Computer Logic)

Trending Questions

Popular # Hahtags

Popular Questions