Question

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

score 514 · Answer 1 · 2026-05-11 02:50:13

514

Views

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

Published on 11 May 2026 - 2:50

score 142 · Answer 2 · 2026-04-10 17:33:43

142

Views

Different axioms of probability

Published on 10 Apr 2026 - 17:33

score 260 · Answer 3 · 2026-04-16 10:07:53

260

Views

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

Published on 16 Apr 2026 - 10:07

score 80 · Answer 4 · 2026-05-11 09:32:55

80

Views

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

Published on 11 May 2026 - 9:32

score 93 · Answer 5 · 2026-04-11 05:57:39

93

Views

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

Published on 11 Apr 2026 - 5:57

score 308 · Answer 6 · 2026-04-12 19:13:01

308

Views

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

Published on 12 Apr 2026 - 19:13

score 57 · Answer 7 · 2026-04-11 23:15:33

57

Views

axiom of extensionality word definition

Published on 11 Apr 2026 - 23:15

score 58 · Answer 8 · 2026-04-15 03:38:19

58

Views

Question about the distributivity axiom of vector spaces

Published on 15 Apr 2026 - 3:38

score 54 · Answer 9 · 2026-05-10 19:48:09

54

Views

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

Published on 10 May 2026 - 19:48

score 378 · Answer 10 · 2026-04-14 14:16:03

378

Views

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

Published on 14 Apr 2026 - 14:16

score 192 · Answer 11 · 2026-04-12 09:42:03

192

Views

Deriving least upper bound property from one particular axiom of completeness

Published on 12 Apr 2026 - 9:42

score 702 · Answer 12 · 2026-05-11 02:50:26

702

Views

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

Published on 11 May 2026 - 2:50

score 690 · Answer 13 · 2026-05-04 21:22:53

690

Views

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

Published on 04 May 2026 - 21:22

score 599 · Answer 14 · 2026-04-13 09:37:54

599

Views

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

Published on 13 Apr 2026 - 9:37

score 322 · Answer 15 · 2026-05-10 20:58:32

322

Views

Axiom Problems (Intro to Computer Logic)

Published on 10 May 2026 - 20:58

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