- 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
| T|+‐resplendent models and the Lascar group
Mathematical Logic Quarterly 51 (6):626-631 (2005)
Abstract
In this paper we show that in every |T |+-resplendent model N , for every A ⊆ N such that |A | ≤ |T |, the group Autf of strong automorphisms is the least very normal subgroup of the group Aut and the quotient Aut/Autf is the Lascar group over A . Then we generalize this result to every |T |+-saturated and strongly |T |+-homogeneous modelMy notes
Similar books and articles
The Lascar Group and the Strong Types of Hyperimaginaries.Byunghan Kim - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):497-507.
Transplendent Models: Expansions Omitting a Type.Fredrik Engström & Richard W. Kaye - 2012 - Notre Dame Journal of Formal Logic 53 (3):413-428.
Saturation of homogeneous resplendent models.Julia F. Knight - 1986 - Journal of Symbolic Logic 51 (1):222-224.
Large resplendent models generated by indiscernibles.James H. Schmerl - 1989 - Journal of Symbolic Logic 54 (4):1382-1388.
An introduction to recursively saturated and resplendent models.Jon Barwise & John Schlipf - 1976 - Journal of Symbolic Logic 41 (2):531-536.
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Notre Dame Journal of Formal Logic 52 (1):39-54.
On subgroups of the additive group in differentially closed fields.Sonat Süer - 2012 - Journal of Symbolic Logic 77 (2):369-391.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
Models of group selection.Deborah G. Mayo & Norman L. Gilinsky - 1987 - Philosophy of Science 54 (4):515-538.
Countable models of nonmultidimensional ℵ0-stable theories.Elisabeth Bouscaren & Daniel Lascar - 1983 - Journal of Symbolic Logic 48 (1):377 - 383.
On two hierarchies of dimensions.Andreas Baudisch - 1987 - Journal of Symbolic Logic 52 (4):959-968.
Analytics
Added to PP
2013-10-31
Downloads
15 (#889,556)
6 months
3 (#880,460)
2013-10-31
Downloads
15 (#889,556)
6 months
3 (#880,460)
Historical graph of downloads
Citations of this work
Classifying spaces and the Lascar group.Tim Campion, Greg Cousins & Jinhe Ye - 2021 - Journal of Symbolic Logic 86 (4):1396-1431.
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.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.
Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.
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-6d9b7f7c4c-tstkh uwo