Question

The "tree property" and dividing types

score 239 · Answer 1 · 2026-04-17 12:37:06

239

Views

The "tree property" and dividing types

Published on 17 Apr 2026 - 12:37

score 139 · Answer 2 · 2026-04-13 22:35:46

139

Views

Compilation of (exercises on) examples of forking, dividing, and independence

Published on 13 Apr 2026 - 22:35

score 116 · Answer 3 · 2026-04-13 19:58:21

116

Views

If $A\subset B$ are definable sets, and $A$ is open in $B$, then there exists a definable open $U$ with $U\cap B=A$

Published on 13 Apr 2026 - 19:58

score 50 · Answer 4 · 2026-04-09 13:25:34

50

Views

Parameterfree heir-coheir relation in stable theories (II)

Published on 09 Apr 2026 - 13:25

score 154 · Answer 5 · 2026-04-14 14:57:25

154

Views

When does a space admit a "multiplication-defining" metric?

Published on 14 Apr 2026 - 14:57

score 276 · Answer 6 · 2026-04-14 09:56:42

276

Views

Show that this formula has no Herbrand model

Published on 14 Apr 2026 - 9:56

score 68 · Answer 7 · 2026-04-14 13:31:21

68

Views

Exchange property of infinite minimal structures

Published on 14 Apr 2026 - 13:31

score 104 · Answer 8 · 2026-04-12 04:56:08

104

Views

Cardinalities in which abelian group theory is categorical?

Published on 12 Apr 2026 - 4:56

score 52 · Answer 9 · 2026-04-14 05:03:42

52

Views

Semigroup without a weak basis

Published on 14 Apr 2026 - 5:03

score 44 · Answer 10 · 2026-04-15 18:14:37

44

Views

What is a practicized (or suitable) label for morphisms that satisfy the condition mentioned in the body of this question?

Published on 15 Apr 2026 - 18:14

score 87 · Answer 11 · 2026-04-14 03:26:09

87

Views

How to code a model by a real number (an infinite sequence of bits)?

Published on 14 Apr 2026 - 3:26

score 279 · Answer 12 · 2026-04-17 00:13:52

279

Views

2 equivalent definitions of finite cover property

Published on 17 Apr 2026 - 0:13

score 87 · Answer 13 · 2026-04-10 17:42:30

87

Views

Why does the addition of generic ultra-filters in forcing not lead to inconsistent theories?

Published on 10 Apr 2026 - 17:42

score 44 · Answer 14 · 2026-04-14 03:37:52

44

Views

Elementary extension considered as a submodel

Published on 14 Apr 2026 - 3:37

score 105 · Answer 15 · 2026-04-15 09:58:54

(NIP Theory) If $I$ is an endless indiscernible sequence and $J$ is a Morley sequence of $\lim(I)$ then $I+J^*$ is indiscernible.

List Question

The "tree property" and dividing types

Compilation of (exercises on) examples of forking, dividing, and independence

If $A\subset B$ are definable sets, and $A$ is open in $B$, then there exists a definable open $U$ with $U\cap B=A$

Parameterfree heir-coheir relation in stable theories (II)

When does a space admit a "multiplication-defining" metric?

Show that this formula has no Herbrand model

Exchange property of infinite minimal structures

Cardinalities in which abelian group theory is categorical?

Semigroup without a weak basis

What is a practicized (or suitable) label for morphisms that satisfy the condition mentioned in the body of this question?

How to code a model by a real number (an infinite sequence of bits)?

2 equivalent definitions of finite cover property

Why does the addition of generic ultra-filters in forcing not lead to inconsistent theories?

Elementary extension considered as a submodel

(NIP Theory) If $I$ is an endless indiscernible sequence and $J$ is a Morley sequence of $\lim(I)$ then $I+J^*$ is indiscernible.

Trending Questions

Popular # Hahtags

Popular Questions