Question

An example of a sentence $\sigma$ s.t. $\text{GL}_n(\mathbb{Q}(\sqrt{3})) \models \sigma$ and $\text{GL}_n(\mathbb{Q}(\sqrt{2})) \not\models \sigma$

score 128 · Answer 1 · 2016-03-10 13:21:03

An example of a sentence $\sigma$ s.t. $\text{GL}_n(\mathbb{Q}(\sqrt{3})) \models \sigma$ and $\text{GL}_n(\mathbb{Q}(\sqrt{2})) \not\models \sigma$

score 541 · Answer 2 · 2016-03-13 12:03:53

541

Views

If $\cal{I}$ is a indiscernible sequence over $A$ then it is indiscernible over $acl(A)$

Published on 13 Mar 2016 - 12:03

score 385 · Answer 3 · 2016-03-14 14:51:37

385

Views

Structure/Model for first order language

Published on 14 Mar 2016 - 14:51

score 696 · Answer 4 · 2016-03-14 16:45:38

696

Views

Can type theory be viewed as an alternative to model theory?

Published on 14 Mar 2016 - 16:45

score 63 · Answer 5 · 2016-03-14 20:07:38

63

Views

"There are at least n elements in the domain" is entailed from f is not injective and f is surjective

Published on 14 Mar 2016 - 20:07

score 51 · Answer 6 · 2016-03-14 21:33:25

51

Views

Prove $\{\neg\tau\}\cup\{\sigma_n:n\in\Bbb{N}\}$ has a model by compactness

Published on 14 Mar 2016 - 21:33

score 106 · Answer 7 · 2016-03-15 13:02:40

106

Views

Real numbers with addition, multiplication, and a transcendental constant

Published on 15 Mar 2016 - 13:02

score 161 · Answer 8 · 2016-03-15 19:43:58

161

Views

Non-basic pseudo-elementary class

Published on 15 Mar 2016 - 19:43

score 472 · Answer 9 · 2016-03-17 11:37:41

472

Views

On definable bijections $b:M^n\rightarrow M^m$ in an o-minimal structure $\mathcal{M}$.

Published on 17 Mar 2016 - 11:37

score 167 · Answer 10 · 2016-03-20 21:26:10

167

Views

I don't really understand what a model is.

Published on 20 Mar 2016 - 21:26

score 331 · Answer 11 · 2016-03-21 15:22:33

331

Views

Algebraic numbers in real closed fields

Published on 21 Mar 2016 - 15:22

score 1.5k · Answer 12 · 2016-03-21 16:08:06

1.5k

Views

Complete theory with a infinite model has only infinite models

Published on 21 Mar 2016 - 16:08

score 1.2k · Answer 13 · 2026-03-30 08:36:46

1.2k

Views

What is the importance of “variety of algebras” in Universal Algebra?

Published on 30 Mar 2026 - 8:36

score 425 · Answer 14 · 2016-03-24 11:06:41

425

Views

Limits of finite structures - first order logic

Published on 24 Mar 2016 - 11:06

score 75 · Answer 15 · 2016-03-26 20:34:08

75

Views

Affine space over $\mathbb {Q}$ prime model, and dimension.

Published on 26 Mar 2016 - 20:34

List Question

An example of a sentence $\sigma$ s.t. $\text{GL}_n(\mathbb{Q}(\sqrt{3})) \models \sigma$ and $\text{GL}_n(\mathbb{Q}(\sqrt{2})) \not\models \sigma$

If $\cal{I}$ is a indiscernible sequence over $A$ then it is indiscernible over $acl(A)$

Structure/Model for first order language

Can type theory be viewed as an alternative to model theory?

"There are at least n elements in the domain" is entailed from f is not injective and f is surjective

Prove $\{\neg\tau\}\cup\{\sigma_n:n\in\Bbb{N}\}$ has a model by compactness

Real numbers with addition, multiplication, and a transcendental constant

Non-basic pseudo-elementary class

On definable bijections $b:M^n\rightarrow M^m$ in an o-minimal structure $\mathcal{M}$.

I don't really understand what a model is.

Algebraic numbers in real closed fields

Complete theory with a infinite model has only infinite models

What is the importance of “variety of algebras” in Universal Algebra?

Limits of finite structures - first order logic

Affine space over $\mathbb {Q}$ prime model, and dimension.

Trending Questions

Popular # Hahtags

Popular Questions