Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 26705

Model theory is the branch of mathematical logic which deals with the connection between a formal language and its interpretations, or models.

19 votes
0 answers
932 views

What is the Cantor-Bendixson rank of the space of first order theories?

Let $L$ be the language $\{R\}$ containing a single binary relation symbol. Consider the space $S_0(L)$ of complete, first-order $L$-theories. This is a seperable, compact Hausdorff space; what is its …
Danielle Ulrich's user avatar
10 votes
1 answer
365 views

limits of stable theories

Say that a complete theory $T$ is a limit of stable theories if for every $\phi \in T$ there is a stable completion of $\{\phi\}$. (Equivalently, $T$ is the ultraproduct of stable theories.) Question …
Danielle Ulrich's user avatar
8 votes
Accepted

Elementary extensions of direct product

Yes. Let $T$ be the theory of two disjoint groups, in the language $(\cdot_1, \cdot_2, U_1, U_2)$. Note that if $(G_1, G_2) \models T$ then the group operation on $G_1 \times G_2$ is definable without …
Danielle Ulrich's user avatar
6 votes
Accepted

Models with few types in infinitary logics

Here is a partial answer: consistently, the generalization can fail for all uncountable $\kappa$. Namely: Suppose $\mathbb{V} = \mathbb{L}$ and let $\kappa$ be any uncountable cardinal. Let $\mathca …
Danielle Ulrich's user avatar
5 votes
Accepted

When are generic models not too wild?

For an example of a super-stable theory failing the property, you can take infinitely many unary predicates (so $Th(2^\omega, U_n: n \in \omega)$ where $U_n(\eta)$ holds iff $\eta(n) = 1$). Then if $\ …
Danielle Ulrich's user avatar
4 votes
0 answers
162 views

Invariant Spaces of Hypergraphs

The following arose from a question in model theory (specifically in the model theory of modules). Fix an arity $k$. Let $[\mathbb{Q}]^k$ denote the set of all subsets of $\mathbb{Q}$ of cardinality $ …
Danielle Ulrich's user avatar
4 votes
Accepted

How many elementary embeddings can there be?

It is a fact (following from the Ehrenfeucht–Mostowski theorem) that for every complete theory $T$ and for every $\lambda \geq |T|$, there is $M \models T$ with $|M| = \lambda$ and $M$ having $2^\lamb …
Danielle Ulrich's user avatar
4 votes
Accepted

Perfectly transversable theories

The property you are asking for is a very strong condition on $T$. Let met try to rephrase the question more carefully: The set of countable $\Sigma$-structures with universe $\omega$ is naturally a …
Danielle Ulrich's user avatar
2 votes
Accepted

Theories with the infinitary Vopenka property

The answer to the question is yes, assuming $VP$ holds and thus, in the terminology from your earlier question, that $VP(\mathcal{L}_{\omega_1 \omega})$ holds. Namely let $T$ be any unstable theory wi …
Danielle Ulrich's user avatar