Question

Indiscernible subsequences

score 204 · Answer 1 · 2026-03-25 17:35:35

204

Views

Indiscernible subsequences

Published on 25 Mar 2026 - 17:35

score 2.4k · Answer 2 · 2014-09-16 09:47:02

2.4k

Views

Difference between completeness and categoricity

Published on 16 Sep 2014 - 9:47

score 31 · Answer 3 · 2014-09-17 19:59:51

31

Views

PA can define 6's multiplier?

Published on 17 Sep 2014 - 19:59

score 1.9k · Answer 4 · 2014-09-19 02:34:00

1.9k

Views

Why isn't there a first-order theory of well order?

Published on 19 Sep 2014 - 2:34

score 80 · Answer 5 · 2014-09-19 13:29:01

80

Views

Show that every element in class $\mathcal{K}$ have at most $n$ elements

Published on 19 Sep 2014 - 13:29

score 114 · Answer 6 · 2026-03-25 23:13:07

114

Views

Prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$ where $\{I_j \ | \ j \in J\}$ is a partition of I.

Published on 25 Mar 2026 - 23:13

score 128 · Answer 7 · 2014-09-19 21:38:41

128

Views

Can a binary relation on a set $S$ isomorphically embed every binary relation on $S$?

Published on 19 Sep 2014 - 21:38

score 604 · Answer 8 · 2014-09-20 03:15:48

604

Views

You don't need to take an algebraic closure twice in model theory

Published on 20 Sep 2014 - 3:15

score 146 · Answer 9 · 2014-09-23 14:07:17

146

Views

For a complete truth-set $T$ is a countable transitive model satisfying $T$ unique?

Published on 23 Sep 2014 - 14:07

score 395 · Answer 10 · 2026-03-22 10:05:16

395

Views

An exercise on first order logic formulas, terms and Polish notation

Published on 22 Mar 2026 - 10:05

score 80 · Answer 11 · 2014-09-24 06:36:15

80

Views

Is division axiomatizable?

Published on 24 Sep 2014 - 6:36

score 116 · Answer 12 · 2014-09-24 07:30:45

116

Views

Axiomatizability of the multiplication of a ring

Published on 24 Sep 2014 - 7:30

score 218 · Answer 13 · 2014-09-25 00:34:59

218

Views

Question from Hodges' textbook Shorter Model Theory

Published on 25 Sep 2014 - 0:34

score 301 · Answer 14 · 2014-09-25 15:24:18

301

Views

Is $\sqrt{2}$ definable in $(\mathbb{R},+,\cdot,0,1)$?

Published on 25 Sep 2014 - 15:24

score 132 · Answer 15 · 2026-03-25 07:47:43

132

Views

In modal logic, why are models ordered sets?

Published on 25 Mar 2026 - 7:47

List Question

Indiscernible subsequences

Difference between completeness and categoricity

PA can define 6's multiplier?

Why isn't there a first-order theory of well order?

Show that every element in class $\mathcal{K}$ have at most $n$ elements

Prove that $\Pi_{i \in I} \mathbf{A}_i \cong \Pi_{j \in J} (\Pi_{i \in I_j} \mathbf{A}_i)$ where $\{I_j \ | \ j \in J\}$ is a partition of I.

Can a binary relation on a set $S$ isomorphically embed every binary relation on $S$?

You don't need to take an algebraic closure twice in model theory

For a complete truth-set $T$ is a countable transitive model satisfying $T$ unique?

An exercise on first order logic formulas, terms and Polish notation

Is division axiomatizable?

Axiomatizability of the multiplication of a ring

Question from Hodges' textbook Shorter Model Theory

Is $\sqrt{2}$ definable in $(\mathbb{R},+,\cdot,0,1)$?

In modal logic, why are models ordered sets?

Trending Questions

Popular # Hahtags

Popular Questions