Question

Why are structures with no relations called algebras?

score 128 · Answer 1 · 2026-03-30 12:45:14

128

Views

Why are structures with no relations called algebras?

Published on 30 Mar 2026 - 12:45

score 153 · Answer 2 · 2015-04-26 18:29:01

153

Views

Morley’s Categoricity Theorem for uncountable languages.

Published on 26 Apr 2015 - 18:29

score 284 · Answer 3 · 2015-04-26 18:56:26

284

Views

Proving uncountability of $\mathbb R$ only using the complete ordered field axioms

Published on 26 Apr 2015 - 18:56

score 256 · Answer 4 · 2015-04-28 22:13:01

256

Views

What is the theorem that shows that second-order logic is the ceiling of model characterization?

Published on 28 Apr 2015 - 22:13

score 252 · Answer 5 · 2026-03-26 13:02:47

252

Views

What is satisfiable by a reduct of a model is satisfiable by the original model (and vice versa)?

Published on 26 Mar 2026 - 13:02

score 322 · Answer 6 · 2015-05-01 02:20:08

322

Views

Show that if $T$ is not $\aleph_0$-categorical then $T$ has a non-atomic model of size $\aleph_1$

Published on 01 May 2015 - 2:20

score 119 · Answer 7 · 2015-05-01 02:26:30

119

Views

Sequence of indiscernibles in a theory with an equivalence relation with infinitely many equivalence classes

Published on 01 May 2015 - 2:26

score 394 · Answer 8 · 2026-03-30 03:24:53

394

Views

How can the axioms (and primitives) of Tarski's axiomatization of $\Bbb R$ be independent?

Published on 30 Mar 2026 - 3:24

score 140 · Answer 9 · 2026-03-28 15:35:52

140

Views

Examples and applications of homogeneus models in model theory.

Published on 28 Mar 2026 - 15:35

score 581 · Answer 10 · 2015-05-01 12:01:22

581

Views

Union of definable sets

Published on 01 May 2015 - 12:01

score 768 · Answer 11 · 2015-05-01 16:26:42

768

Views

Exercise $ 3.4.15 $ of David Marker’s “Model Theory”.

Published on 01 May 2015 - 16:26

score 93 · Answer 12 · 2015-05-01 18:00:21

93

Views

Union of definable sets is a definable set

Published on 01 May 2015 - 18:00

score 222 · Answer 13 · 2026-03-26 02:56:17

222

Views

Is there a 'largest' second-order categorical axiomatization of set theory, extended from ZFC2

Published on 26 Mar 2026 - 2:56

score 82 · Answer 14 · 2015-05-04 02:27:27

82

Views

Proof verification for structure construction

Published on 04 May 2015 - 2:27

score 224 · Answer 15 · 2015-05-04 13:49:17

224

Views

What is the stone space $S_n(T)$ for a theory with infinitely many equivalence classes, each class infinite?

Published on 04 May 2015 - 13:49

List Question

Why are structures with no relations called algebras?

Morley’s Categoricity Theorem for uncountable languages.

Proving uncountability of $\mathbb R$ only using the complete ordered field axioms

What is the theorem that shows that second-order logic is the ceiling of model characterization?

What is satisfiable by a reduct of a model is satisfiable by the original model (and vice versa)?

Show that if $T$ is not $\aleph_0$-categorical then $T$ has a non-atomic model of size $\aleph_1$

Sequence of indiscernibles in a theory with an equivalence relation with infinitely many equivalence classes

How can the axioms (and primitives) of Tarski's axiomatization of $\Bbb R$ be independent?

Examples and applications of homogeneus models in model theory.

Union of definable sets

Exercise $ 3.4.15 $ of David Marker’s “Model Theory”.

Union of definable sets is a definable set

Is there a 'largest' second-order categorical axiomatization of set theory, extended from ZFC2

Proof verification for structure construction

What is the stone space $S_n(T)$ for a theory with infinitely many equivalence classes, each class infinite?

Trending Questions

Popular # Hahtags

Popular Questions