Definition:Divide (Model Theory)
This page has been identified as a candidate for refactoring. In particular:
Extract notes and examples into their own pages.
Until this has been finished, please leave {{refactor}} in the code.
New contributors: Refactoring is a task which is expected to be undertaken by experienced editors only. Because of the underlying complexity of the work needed, it is recommended that you do not embark on a refactoring task until you have become familiar with the structural nature of pages of $\mathsf{Pr} \infty \mathsf{fWiki}$.
Let $T$ be a complete $\mathcal L$-theory.
Let $\mathfrak C$ be a monster model for $T$.
Let $A$ be a subset of the universe of $\mathfrak C$.
Let $\phi \left({\bar x, \bar b}\right)$ be an $\mathcal L$-formula with free variables $\bar x$ and parameters $\bar b$ from the universe of $\mathfrak C$.
The term Definition:Logical Formula as used here has been identified as being ambiguous.
If you are familiar with this area of mathematics, you may be able to help improve $\mathsf{Pr} \infty \mathsf{fWiki}$ by determining the precise term which is to be used.
To discuss it in more detail, feel free to use the talk page.
When this has been done, {{Disambiguate}} should be removed from the code.
If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page (see the proofread template for usage).
Let $\operatorname{tp} \left({\bar b / A}\right)$ denote the type of $\bar b$ over $A$.
Then $\phi \left({\bar x, \bar b}\right)$ $k$-divides in $\mathfrak C$ over $A$ if and only if:
there exists a sequence $\left\langle{\bar b_i}\right\rangle_{i \mathop \in \N}$ such that $\operatorname{tp} \left({\bar b_i / A}\right) = \operatorname{tp} \left({\bar b / A}\right)$ for each $i \in \N$
for any distinct $k$-many terms $\bar b_{i_1}, \ldots, \bar b_{i_k}$ of the sequence, the set $\left\{{\phi \left({\bar x, \bar b_{i_1} }\right), \ldots, \phi \left({\bar x, \bar b_{i_k} }\right)}\right\}$ is not satisfiable in $\mathfrak C$.
Let $\pi \left({\bar x, \bar b}\right)$ be a set of formulas with parameters $\bar b$.
$\pi \left({\bar x, \bar b}\right)$ $k$-divides over $A$ if it implies a formula $\phi \left({x, \bar c}\right)$ which $k$-divides over $A$.
Formulas and sets of formulas are said to divide if they $k$-divide for some $k$.
To help understand the definition, consider the following informal discussion.
We can think of $\phi \left({x, y}\right)$ as a description of $x$ in terms of $y$.
If $b$ and $b'$ have the same type over $A$, then as far as $A$ can tell, $b$ and $b'$ are the same thing, in the sense that they both satisfy the same formulas with parameters from $A$.
So $\phi \left({x, b}\right)$ $k$-dividing over $A$ means that we can find an infinite sequence of parameters $b_i$ that $A$ can't tell apart, but nevertheless, no $x$ can satisfy any $k$ of the descriptions $\phi \left({x, b_i}\right)$ at the same time.
Consider the language $\mathcal L = \left\{{\sim}\right\}$ with one binary relation symbol $\sim$.
Let $\mathcal M = \left({\R^2, P}\right)$ be the $\mathcal L$-structure where $P$ is the equivalence relation defined by $\left({x_1, y_1}\right) \mathrel P \left({x_2, y_2}\right)$ if and only if $x_1 = x_2$.
That is, $P$ identifies points in the plane which project vertically to the same value on the $x$-axis.
Let $\mathfrak C$ be some monster model for $\mathcal M$.
The formula $x \sim \left({0, 0}\right)$ $2$-divides over $\varnothing$, which can be seen by considering the sequence $\left({\left({0, 0}\right), \left({1, 0}\right), \left({2, 0}\right), \left({3, 0}\right), \ldots}\right)$.
The language is not very complicated; every $\left({n, m}\right)$ has the same type over $\varnothing$, so in particular each term in this sequence has the same type as $\left({0, 0}\right)$.
However, $x \sim \left({n, 0}\right)$ and $x \sim \left({m, 0}\right)$ cannot be simultaneously satisfied for $n \ne m$, since this would imply $\left({n, 0}\right) \mathrel P \left({m, 0}\right)$, which is impossible.
The formula $x \sim \left({0, 0}\right)$ does not $k$-divide over $A = \left\{{\left({0, y}\right): y \in \R}\right\}$ for any $k$ however, since only points of the form $\left({0, y}\right)$ are of the same type as $\left({0, 0}\right)$ over $A$.
There are no source works cited for this page / section.
Source citations are highly desirable, and mandatory for all definition pages.
Definition pages whose content is wholly or partly unsourced are in danger of having such content deleted.
Retrieved from "https://proofwiki.org/w/index.php?title=Definition:Divide_(Model_Theory)&oldid=238794"
Refactoring In Progress
Disambiguation Needed
Sources Missing
Definitions/Model Theory
This page was last modified on 17 November 2015, at 16:57 and is 0 bytes