For more information about this meeting, contact Jan Reimann, Stephen Simpson.
| Title: | Unions of chains of signatures |
|---|
| Seminar: | Logic Seminar |
|---|
| Speaker: | Alice Medvedev, University of California, Berkeley |
|---|
| Abstract: |
|---|
| We meditate on a particularly naive notion of a limit of a sequence of theories: a union of conservative expansions. That is, we consider a sequence of nested signatures $L_1 \subset L_2 \subset \ldots$, each one a subsignature of the next, and a sequence of $L_i$-theories $T_i$ where each $T_i$ is precisely the set of $L_i$-consequences of $T_{i+1}$. It turns out that many model-theoretic properties then pass from all $T_i$ to their union $T$; these include consistency, completeness, quantifier limination, partial quantifier elimination such a model-completeness, elimination of imaginaries, stable embeddedness of some definable set, characterization of algebraic closure; stability, simplicity, rosiness, dependence. Our motivating example is the theory $T$ of fields with an action by $(\mathbb{Q}, +)$, seen as a limit of (theories of) fields with $(\mathbb{Z}, +)$-actions. |
Room Reservation Information
| Room Number: | MB315 |
|---|
| Date: | 11 / 02 / 2012 |
|---|
| Time: | 04:35pm - 05:45pm |
|---|
