- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Galois groups of first order theories
Journal of Mathematical Logic 1 (02):305-319 (2001)
Abstract
We study the groups Gal L and Gal KP, and the associated equivalence relations EL and EKP, attached to a first order theory T. An example is given where EL≠ EKP. It is proved that EKP is the composition of EL and the closure of EL. Other examples are given showing this is best possible.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Relativized Galois groups of first order theories over a hyperimaginary.Hyoyoon Lee & Junguk Lee - 2025 - Archive for Mathematical Logic 64 (3):493-514.
Borel equivalence relations and Lascar strong types.Krzysztof Krupiński, Anand Pillay & Sławomir Solecki - 2013 - Journal of Mathematical Logic 13 (2):1350008.
G-compactness and groups.Jakub Gismatullin & Ludomir Newelski - 2008 - Archive for Mathematical Logic 47 (5):479-501.
Classifying spaces and the Lascar group.Tim Campion, Greg Cousins & Jinhe Ye - 2021 - Journal of Symbolic Logic 86 (4):1396-1431.
Binary Relations and Permutation Groups.Hajnal Andréka & Ivo Düntsch - 1995 - Mathematical Logic Quarterly 41 (2):197-216.
On definable Galois groups and the strong canonical base property.Daniel Palacín & Anand Pillay - 2017 - Journal of Mathematical Logic 17 (1):1750002.
Elementary theories and hereditary undecidability for semilattices of numberings.Nikolay Bazhenov, Manat Mustafa & Mars Yamaleev - 2019 - Archive for Mathematical Logic 58 (3-4):485-500.
Elementary equivalence of infinite-dimensional classical groups.Vladimir Tolstykh - 2000 - Annals of Pure and Applied Logic 105 (1-3):103-156.
An invitation to model-theoretic galois theory.Alice Medvedev & Ramin Takloo-Bighash - 2010 - Bulletin of Symbolic Logic 16 (2):261 - 269.
Testing Definitional Equivalence of Theories Via Automorphism Groups.Hajnal Andréka, Judit Madarász, István Németi & Gergely Székely - 2024 - Review of Symbolic Logic 17 (4):1097-1118.
Analytics
Added to PP
2012-09-02
Downloads
103 (#226,852)
6 months
19 (#198,027)
2012-09-02
Downloads
103 (#226,852)
6 months
19 (#198,027)
Historical graph of downloads
Citations of this work
The Lascar groups and the first homology groups in model theory.Jan Dobrowolski, Byunghan Kim & Junguk Lee - 2017 - Annals of Pure and Applied Logic 168 (12):2129-2151.
G-compactness and groups.Jakub Gismatullin & Ludomir Newelski - 2008 - Archive for Mathematical Logic 47 (5):479-501.
Topological properties of definable sets in ordered Abelian groups of burden 2.Alfred Dolich & John Goodrick - 2023 - Mathematical Logic Quarterly 69 (2):147-164.
Boundedness and absoluteness of some dynamical invariants in model theory.Krzysztof Krupiński, Ludomir Newelski & Pierre Simon - 2019 - Journal of Mathematical Logic 19 (2):1950012.
Borel equivalence relations and Lascar strong types.Krzysztof Krupiński, Anand Pillay & Sławomir Solecki - 2013 - Journal of Mathematical Logic 13 (2):1350008.
References found in this work
Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
New dichotomies for borel equivalence relations.Greg Hjorth & Alexander S. Kechris - 1997 - Bulletin of Symbolic Logic 3 (3):329-346.
A note on Lascar strong types in simple theories.Byunghan Kim - 1998 - Journal of Symbolic Logic 63 (3):926-936.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6dc498764b-td4v8 uwo