Question

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

score 92 · Answer 1 · 2026-04-12 13:31:33

92

Views

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

Published on 12 Apr 2026 - 13:31

score 103 · Answer 2 · 2026-04-15 19:37:28

103

Views

Small elementary extensions of $\langle\mathbb Q, 0,1,+,-,×,<\rangle$?

Published on 15 Apr 2026 - 19:37

score 94 · Answer 3 · 2026-04-15 09:01:55

94

Views

Elementary embedding between infinite atomic Boolean algebras

Published on 15 Apr 2026 - 9:01

score 140 · Answer 4 · 2026-04-09 19:40:03

140

Views

Can "$\omega_1$-Barwise-ness" be ensured by a first-order theory?

Published on 09 Apr 2026 - 19:40

score 62 · Answer 5 · 2026-04-15 04:27:35

62

Views

In the absence of CH, there are just $2^{2^{\aleph_0}}$ ultrapowers of $\mathbb{R}$ of length $\omega$ up to isomorphism.

Published on 15 Apr 2026 - 4:27

score 63 · Answer 6 · 2026-04-15 03:04:41

63

Views

Elementary embedding between infinite complete atomic Boolean algebras

Published on 15 Apr 2026 - 3:04

score 111 · Answer 7 · 2026-04-10 03:55:57

111

Views

Comparing "local compactness numbers" of two strong logics

Published on 10 Apr 2026 - 3:55

score 117 · Answer 8 · 2026-04-16 10:56:51

117

Views

Characterization of finite VC-dimension

Published on 16 Apr 2026 - 10:56

score 248 · Answer 9 · 2026-04-15 04:33:56

248

Views

Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?

Published on 15 Apr 2026 - 4:33

score 198 · Answer 10 · 2026-04-14 23:52:22

198

Views

Elementary embedding and infinite atomic Boolean algebras

Published on 14 Apr 2026 - 23:52

score 61 · Answer 11 · 2026-04-09 12:18:30

61

Views

Does this statement in model theory hold?

Published on 09 Apr 2026 - 12:18

score 200 · Answer 12 · 2026-04-23 02:13:30

200

Views

Applications of Model Theory and Category Theory

Published on 23 Apr 2026 - 2:13

score 101 · Answer 13 · 2026-04-15 12:53:46

101

Views

Relative constructibility

Published on 15 Apr 2026 - 12:53

score 201 · Answer 14 · 2026-04-13 04:52:32

201

Views

Ordinals in $L$, the constructible universe

Published on 13 Apr 2026 - 4:52

score 76 · Answer 15 · 2026-04-11 13:52:59

76

Views

numerical formulas over $V$ and $L$

Published on 11 Apr 2026 - 13:52

List Question

Is the structure of propositional logic axiomatizable by the axioms of Boolean algebra?

Small elementary extensions of $\langle\mathbb Q, 0,1,+,-,×,<\rangle$?

Elementary embedding between infinite atomic Boolean algebras

Can "$\omega_1$-Barwise-ness" be ensured by a first-order theory?

In the absence of CH, there are just $2^{2^{\aleph_0}}$ ultrapowers of $\mathbb{R}$ of length $\omega$ up to isomorphism.

Elementary embedding between infinite complete atomic Boolean algebras

Comparing "local compactness numbers" of two strong logics

Characterization of finite VC-dimension

Structure on $\mathbb{R}$ such that homomorphisms $\mathbb{R} \to \mathbb{R}$ are exactly polynomials?

Elementary embedding and infinite atomic Boolean algebras

Does this statement in model theory hold?

Applications of Model Theory and Category Theory

Relative constructibility

Ordinals in $L$, the constructible universe

numerical formulas over $V$ and $L$

Trending Questions

Popular # Hahtags

Popular Questions