Question

Definability of subgraphs of random graphs

score 76 · Answer 1 · 2026-03-26 03:02:30

76

Views

Definability of subgraphs of random graphs

Published on 26 Mar 2026 - 3:02

score 176 · Answer 2 · 2026-02-23 12:07:14

176

Views

Model of ordered plane which is neither isomorphic to $\mathbb{R}^2$ nor to Klein model

Published on 23 Feb 2026 - 12:07

score 115 · Answer 3 · 2026-03-25 21:44:46

115

Views

Can we prove this proposition without thinking semantics?

Published on 25 Mar 2026 - 21:44

score 45 · Answer 4 · 2019-04-18 12:56:01

45

Views

If $M$ is a transitive set and $R$ well orders $A$ in $M$, then $R$ well orders $A$ universally

Published on 18 Apr 2019 - 12:56

score 202 · Answer 5 · 2019-04-18 16:19:40

202

Views

Models that realize all types

Published on 18 Apr 2019 - 16:19

score 304 · Answer 6 · 2019-04-18 22:28:46

Real exponential field with restricted analytic functions: $\mathbb R_{an,\exp,\log}$ has quantifier elimination, but $\mathbb R_{an,\exp}$ does not.

score 55 · Answer 7 · 2019-04-19 13:16:37

55

Views

Does $V_n$ model union?

Published on 19 Apr 2019 - 13:16

score 103 · Answer 8 · 2019-04-20 03:49:44

103

Views

The automorphism group of the countable atomless Boolean algebra does not have ample generics

Published on 20 Apr 2019 - 3:49

score 212 · Answer 9 · 2019-04-22 17:29:16

212

Views

An incomplete yet decidable theory

Published on 22 Apr 2019 - 17:29

score 59 · Answer 10 · 2019-04-23 09:56:08

59

Views

$\mathbb{Q}^{alg}[[a,b]] $ is not elementary equivalent to $\mathbb{C}[[a,b]]$, and the same for $\mathbb{Q}^{alg}[a]$ and $\mathbb{C}[a]$?

Published on 23 Apr 2019 - 9:56

score 248 · Answer 11 · 2019-04-23 21:49:10

248

Views

Countable countable models

Published on 23 Apr 2019 - 21:49

score 404 · Answer 12 · 2019-04-25 15:32:50

404

Views

Undefinable classes?

Published on 25 Apr 2019 - 15:32

score 521 · Answer 13 · 2026-03-25 11:38:15

521

Views

Exercise 3.4.3 in David Marker's "Model Theory"

Published on 25 Mar 2026 - 11:38

score 287 · Answer 14 · 2019-04-27 12:38:12

287

Views

Exam question: Show that each infinite L-structure has a countable, elementary substructure

Published on 27 Apr 2019 - 12:38

score 192 · Answer 15 · 2019-04-28 20:26:21

192

Views

Is a theory with a prime model necessarily complete?

Published on 28 Apr 2019 - 20:26

List Question

Definability of subgraphs of random graphs

Model of ordered plane which is neither isomorphic to $\mathbb{R}^2$ nor to Klein model

Can we prove this proposition without thinking semantics?

If $M$ is a transitive set and $R$ well orders $A$ in $M$, then $R$ well orders $A$ universally

Models that realize all types

Real exponential field with restricted analytic functions: $\mathbb R_{an,\exp,\log}$ has quantifier elimination, but $\mathbb R_{an,\exp}$ does not.

Does $V_n$ model union?

The automorphism group of the countable atomless Boolean algebra does not have ample generics

An incomplete yet decidable theory

$\mathbb{Q}^{alg}[[a,b]] $ is not elementary equivalent to $\mathbb{C}[[a,b]]$, and the same for $\mathbb{Q}^{alg}[a]$ and $\mathbb{C}[a]$?

Countable countable models

Undefinable classes?

Exercise 3.4.3 in David Marker's "Model Theory"

Exam question: Show that each infinite L-structure has a countable, elementary substructure

Is a theory with a prime model necessarily complete?

Trending Questions

Popular # Hahtags

Popular Questions