Question

Are generically stable types stationary?

score 291 · Answer 1 · 2019-04-29 18:16:46

291

Views

Are generically stable types stationary?

Published on 29 Apr 2019 - 18:16

score 70 · Answer 2 · 2026-03-24 23:45:17

70

Views

Hyperfinite intervals are uncountable but nonstandard models of Peano arithmetic can be countable?

Published on 24 Mar 2026 - 23:45

score 406 · Answer 3 · 2026-03-25 09:29:05

406

Views

Can there be a sentence that is true in every model of an effective theory and yet not provable in that theory?

Published on 25 Mar 2026 - 9:29

score 247 · Answer 4 · 2019-05-02 02:35:28

247

Views

How to construct a decidable-yet-incomplete theory?

Published on 02 May 2019 - 2:35

score 167 · Answer 5 · 2026-03-25 06:21:16

167

Views

Is it consistent for $P(\mathbb{N})$ to be present in a low layer of the Constructible Universe?

Published on 25 Mar 2026 - 6:21

score 73 · Answer 6 · 2019-05-03 10:25:51

73

Views

How to prove symmetry of forking?

Published on 03 May 2019 - 10:25

score 222 · Answer 7 · 2019-05-03 19:54:52

222

Views

Showing that all semirecursive sets are semidefinable

Published on 03 May 2019 - 19:54

score 166 · Answer 8 · 2026-03-26 12:53:11

166

Views

Simple examples of the diagonal lemma

Published on 26 Mar 2026 - 12:53

score 61 · Answer 9 · 2019-05-05 03:04:22

61

Views

Why is the additive group of an ordered division ring divisible, with a dense underlying set?

Published on 05 May 2019 - 3:04

score 49 · Answer 10 · 2019-05-05 06:12:41

49

Views

Making the algebraic similarities of groups and Lie algebras precise.

Published on 05 May 2019 - 6:12

score 56 · Answer 11 · 2019-05-05 16:56:40

56

Views

What property is captured by this third statement defining a structure?

Published on 05 May 2019 - 16:56

score 672 · Answer 12 · 2019-05-05 17:57:15

672

Views

How to show a theory eliminates quantifiers?

Published on 05 May 2019 - 17:57

score 169 · Answer 13 · 2019-05-06 14:34:35

169

Views

A problem from Model Theory of Chang and Keisler.

Published on 06 May 2019 - 14:34

score 433 · Answer 14 · 2026-03-25 06:12:06

433

Views

An $\omega$-categorical theory $T$ with no finite models is complete.

Published on 25 Mar 2026 - 6:12

score 91 · Answer 15 · 2019-05-08 17:17:47

91

Views

Given all possible k-ary relations over an n-element set, which sentences converge to a non-zero percentage as n goes to infinity?

Published on 08 May 2019 - 17:17

List Question

Are generically stable types stationary?

Hyperfinite intervals are uncountable but nonstandard models of Peano arithmetic can be countable?

Can there be a sentence that is true in every model of an effective theory and yet not provable in that theory?

How to construct a decidable-yet-incomplete theory?

Is it consistent for $P(\mathbb{N})$ to be present in a low layer of the Constructible Universe?

How to prove symmetry of forking?

Showing that all semirecursive sets are semidefinable

Simple examples of the diagonal lemma

Why is the additive group of an ordered division ring divisible, with a dense underlying set?

Making the algebraic similarities of groups and Lie algebras precise.

What property is captured by this third statement defining a structure?

How to show a theory eliminates quantifiers?

A problem from Model Theory of Chang and Keisler.

An $\omega$-categorical theory $T$ with no finite models is complete.

Given all possible k-ary relations over an n-element set, which sentences converge to a non-zero percentage as n goes to infinity?

Trending Questions

Popular # Hahtags

Popular Questions