Question

Trouble understanding converse of Tarski's theorem

score 138 · Answer 1 · 2019-04-03 21:12:12

Trouble understanding converse of Tarski's theorem

Published on 03 Apr 2019 - 21:12

score 75 · Answer 2 · 2019-04-05 09:45:00

How does one generalise the definition of the closure operator on (strongly) minimal sets to define a pregeometry to more than one variable?

score 666 · Answer 3 · 2019-04-06 11:36:46

666

Views

$\Gamma\subseteq \text{Sent}(\mathcal{L})$ is maximal consistent iff it has models, and any two models are elementarily equivalent.

Published on 06 Apr 2019 - 11:36

score 198 · Answer 4 · 2019-04-07 09:34:19

198

Views

Proof of satisfaction given the same free variable interpretation

Published on 07 Apr 2019 - 9:34

score 240 · Answer 5 · 2019-04-07 13:05:22

240

Views

How to tackle prime models and saturated models

Published on 07 Apr 2019 - 13:05

score 145 · Answer 6 · 2019-04-07 14:32:26

145

Views

Th(A) is omega-categorical iff Th(A; a) is omega-categorical.

Published on 07 Apr 2019 - 14:32

score 273 · Answer 7 · 2019-04-08 11:45:17

273

Views

non-forking extension is equivalent to sameness of morley rank

Published on 08 Apr 2019 - 11:45

score 511 · Answer 8 · 2019-04-09 12:07:39

511

Views

How do we know that model existence implies consistency?

Published on 09 Apr 2019 - 12:07

score 498 · Answer 9 · 2019-04-09 14:20:58

498

Views

Is there a mathematical or logical theory of mathematical modelling?

Published on 09 Apr 2019 - 14:20

score 60 · Answer 10 · 2019-04-11 13:13:28

60

Views

$MR(tp(a/acl(A))=MR(tp(a/A))$ where MR is morley rank

Published on 11 Apr 2019 - 13:13

score 112 · Answer 11 · 2019-04-12 14:04:36

Clarification with proof: there is a bijective partial elementary map between two strongly minimal sets of same dimension.

score 53 · Answer 12 · 2019-04-12 17:12:56

53

Views

Completeness Theorem for a finite domain

Published on 12 Apr 2019 - 17:12

score 79 · Answer 13 · 2019-04-12 19:55:02

79

Views

Let $K_i$ be a class of structures, show that Th$(\bigcup_{i\in I} K_i)=\bigcap_{i\in I}$Th$(K_i)$

Published on 12 Apr 2019 - 19:55

score 144 · Answer 14 · 2019-04-13 12:30:54

144

Views

A model of extensionality

Published on 13 Apr 2019 - 12:30

score 233 · Answer 15 · 2026-03-25 13:57:58

233

Views

Automorphisms group of a structure is a closed subgroup of the permutations over $\mathbb{N}$

Published on 25 Mar 2026 - 13:57

List Question

Trouble understanding converse of Tarski's theorem

How does one generalise the definition of the closure operator on (strongly) minimal sets to define a pregeometry to more than one variable?

$\Gamma\subseteq \text{Sent}(\mathcal{L})$ is maximal consistent iff it has models, and any two models are elementarily equivalent.

Proof of satisfaction given the same free variable interpretation

How to tackle prime models and saturated models

Th(A) is omega-categorical iff Th(A; a) is omega-categorical.

non-forking extension is equivalent to sameness of morley rank

How do we know that model existence implies consistency?

Is there a mathematical or logical theory of mathematical modelling?

$MR(tp(a/acl(A))=MR(tp(a/A))$ where MR is morley rank

Clarification with proof: there is a bijective partial elementary map between two strongly minimal sets of same dimension.

Completeness Theorem for a finite domain

Let $K_i$ be a class of structures, show that Th$(\bigcup_{i\in I} K_i)=\bigcap_{i\in I}$Th$(K_i)$

A model of extensionality

Automorphisms group of a structure is a closed subgroup of the permutations over $\mathbb{N}$

Trending Questions

Popular # Hahtags

Popular Questions