Search Results
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 |
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 …
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 …
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 …
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 …
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 $\ …
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 $ …
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 …
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 …
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 …