Question

Model where all the infinite definable sets are of maximal size

score 85 · Answer 1 · 2015-04-11 00:59:33

85

Views

Model where all the infinite definable sets are of maximal size

Published on 11 Apr 2015 - 0:59

score 113 · Answer 2 · 2015-04-11 15:38:26

113

Views

Saturated model for Th(Z,+,-,0,1)?

Published on 11 Apr 2015 - 15:38

score 66 · Answer 3 · 2015-04-12 16:05:46

66

Views

Why do we tell functions from relations in structures?

Published on 12 Apr 2015 - 16:05

score 541 · Answer 4 · 2015-04-14 03:05:31

541

Views

Show This theory is complete with four countable models

Published on 14 Apr 2015 - 3:05

score 396 · Answer 5 · 2015-04-14 20:37:47

396

Views

Complete $n$-types for the theories of $( \mathbb Z , s )$ and $( \mathbb Z , s , < )$

Published on 14 Apr 2015 - 20:37

score 78 · Answer 6 · 2015-04-15 04:59:05

78

Views

Spectrum restrictions in the signature consisting of just a single binary operation

Published on 15 Apr 2015 - 4:59

score 49 · Answer 7 · 2015-04-17 04:42:19

49

Views

Multiplicative reducts of fields an elementary class?

Published on 17 Apr 2015 - 4:42

score 191 · Answer 8 · 2015-04-17 12:04:47

191

Views

Why do we need ultrafilters to make sense of the cartesian product of $\mathcal{L}$-structures

Published on 17 Apr 2015 - 12:04

score 117 · Answer 9 · 2026-03-27 11:45:23

117

Views

(stability-theoretic) ¨weakly normal groups" are closed under subgroups

Published on 27 Mar 2026 - 11:45

score 668 · Answer 10 · 2015-04-18 11:34:55

668

Views

What are the L-sentences that are true in an empty structure?

Published on 18 Apr 2015 - 11:34

score 362 · Answer 11 · 2015-04-19 09:25:05

362

Views

Link between definitional expansions and definitional extensions.

Published on 19 Apr 2015 - 9:25

score 441 · Answer 12 · 2015-04-19 16:01:36

Given L = {<,c0,c1,...} and T3 the theory of DLO with sentence asserting co < c1 < ..., Show T4 is complete with four countable models.

score 117 · Answer 13 · 2015-04-20 20:40:42

117

Views

Are the implicitly definable sets of a second-order theory the sets the second-order quantifiers range over?

Published on 20 Apr 2015 - 20:40

score 816 · Answer 14 · 2026-03-26 02:50:21

816

Views

Comparing Category Theory and Model Theory for Master's Thesis.

Published on 26 Mar 2026 - 2:50

score 395 · Answer 15 · 2015-04-21 19:06:52

395

Views

Show For any language L two L-structures M and N are elementarily equivalent iff they are elementarily equivalent for every finite sublanguage.

Published on 21 Apr 2015 - 19:06

List Question

Model where all the infinite definable sets are of maximal size

Saturated model for Th(Z,+,-,0,1)?

Why do we tell functions from relations in structures?

Show This theory is complete with four countable models

Complete $n$-types for the theories of $( \mathbb Z , s )$ and $( \mathbb Z , s , < )$

Spectrum restrictions in the signature consisting of just a single binary operation

Multiplicative reducts of fields an elementary class?

Why do we need ultrafilters to make sense of the cartesian product of $\mathcal{L}$-structures

(stability-theoretic) ¨weakly normal groups" are closed under subgroups

What are the L-sentences that are true in an empty structure?

Link between definitional expansions and definitional extensions.

Given L = {<,c0,c1,...} and T3 the theory of DLO with sentence asserting co < c1 < ..., Show T4 is complete with four countable models.

Are the implicitly definable sets of a second-order theory the sets the second-order quantifiers range over?

Comparing Category Theory and Model Theory for Master's Thesis.

Show For any language L two L-structures M and N are elementarily equivalent iff they are elementarily equivalent for every finite sublanguage.

Trending Questions

Popular # Hahtags

Popular Questions