Weak forms of elimination of imaginaries

Mathematical Logic Quarterly 50 (2):126-140 (2004)
  Copy   BIBTEX

Abstract

We study the degree of elimination of imaginaries needed for the three main applications: to have canonical bases for types over models, to define strong types as types over algebraically closed sets and to have a Galois correspondence between definably closed sets B such that A ⊆ B ⊆ acl and closed subgroups of the Galois group Aut/A). We also characterize when the topology of the Galois group is the quotient topology

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 89,718

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Imaginaries in Hilbert spaces.Itay Ben-Yaacov & Alexander Berenstein - 2004 - Archive for Mathematical Logic 43 (4):459-466.
Weak forms of elimination of imaginaries.Enrique Casanovas Ruiz-Fornells - 2004 - Mathematical Logic Quarterly 50 (2):126.
Imaginaries in Boolean algebras.Roman Wencel - 2012 - Mathematical Logic Quarterly 58 (3):217-235.
Weak elimination of imaginaries for Boolean algebras.Roman Wencel - 2005 - Annals of Pure and Applied Logic 132 (2-3):247-270.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.
Dividing in the algebra of compact operators.Alexander Berenstein - 2004 - Journal of Symbolic Logic 69 (3):817-829.
Fields of finite Morley rank.Frank Wagner - 2001 - Journal of Symbolic Logic 66 (2):703-706.

Analytics

Added to PP
2013-12-01

Downloads
28 (#484,740)

6 months
2 (#652,025)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Model theoretic dynamics in Galois fashion.Daniel Max Hoffmann - 2019 - Annals of Pure and Applied Logic 170 (7):755-804.
Recursive functions and existentially closed structures.Emil Jeřábek - 2019 - Journal of Mathematical Logic 20 (1):2050002.
Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
Invariance and Definability, with and without Equality.Denis Bonnay & Fredrik Engström - 2018 - Notre Dame Journal of Formal Logic 59 (1):109-133.
Towards a finer classification of strongly minimal sets.John T. Baldwin & Viktor V. Verbovskiy - 2024 - Annals of Pure and Applied Logic 175 (2):103376.

Add more citations

References found in this work

Galois groups of first order theories.E. Casanovas, D. Lascar, A. Pillay & M. Ziegler - 2001 - Journal of Mathematical Logic 1 (02):305-319.
Une théorie de galois imaginaire.Bruno Poizat - 1983 - Journal of Symbolic Logic 48 (4):1151-1170.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.

View all 8 references / Add more references