Definability patterns and their symmetries
We identify a canonical structure J associated to any first-order theory, the {\it space of definability patterns}. It generalizes the imaginary algebraic closure in a stable theory, and the hyperimaginary bounded closure in simple theories. J admits a compact topology, not necessarily Hausdorff, bu...
| Հիմնական հեղինակ: | |
|---|---|
| Ձևաչափ: | Journal article |
| Հրապարակվել է: |
2020
|