|T |+‐resplendent models and the Lascar group

&
Mathematical Logic Quarterly 51 (6):626-631 (2005)
  Copy   BIBTEX

Abstract

In this paper we show that in every |T |+‐resplendent model N, for every A ⊆ N such that |A | ≤ |T |, the group Autf(N/a ) of strong automorphisms is the least very normal subgroup of the group Aut(N/a ) and the quotient Aut(N/a )/autf(N/a ) is the Lascar group over A. Then we generalize this result to every |T |+‐saturated and strongly |T |+‐homogeneous model. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)

Categories

Keywords

Reprint years

DOI

10.1002/malq.200510012

Other Versions

No versions found

Links

PhilArchive

External links

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

Through your library

My notes

Similar books and articles

The relativized Lascar groups, type-amalgamation, and algebraicity.Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov & Junguk Lee - 2021 - Journal of Symbolic Logic 86 (2):531-557.
Automorphisms of recursively saturated models of arithmetic.Richard Kaye, Roman Kossak & Henryk Kotlarski - 1991 - Annals of Pure and Applied Logic 55 (1):67-99.
Automorphism groups of models of Peano arithmetic.James H. Schmerl - 2002 - Journal of Symbolic Logic 67 (4):1249-1264.
The spectrum of resplendency.John T. Baldwin - 1990 - Journal of Symbolic Logic 55 (2):626-636.
Failure of n -uniqueness: a family of examples.Elisabetta Pastori & Pablo Spiga - 2011 - Mathematical Logic Quarterly 57 (2):133-148.
Automorphism Groups of Arithmetically Saturated Models.Ermek S. Nurkhaidarov - 2006 - Journal of Symbolic Logic 71 (1):203 - 216.
Classifying spaces and the Lascar group.Tim Campion, Greg Cousins & Jinhe Ye - 2021 - Journal of Symbolic Logic 86 (4):1396-1431.
Weak forms of elimination of imaginaries.Enrique Casanovas Ruiz-Fornells - 2004 - Mathematical Logic Quarterly 50 (2):126.
The automorphism group of a resplendent model.James H. Schmerl - 2012 - Archive for Mathematical Logic 51 (5-6):647-649.
ω‐saturated quasi‐minimal models of Th(ℚω, +, σ, 0).Masanori Itai & Kentaro Wakai - 2005 - Mathematical Logic Quarterly 51 (3):258-262.

Analytics

Added to PP
2013-10-31

Downloads
60 (#1,002,635)

6 months
16 (#744,928)

Historical graph of downloads
How can I increase my 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.

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 (2):305-319.
On the category of models of a complete theory.Daniel Lascar - 1982 - Journal of Symbolic Logic 47 (2):249-266.
Compactly expandable models and stability.Enrique Casanovas - 1995 - Journal of Symbolic Logic 60 (2):673-683.
Hyperimaginaries and Automorphism Groups.D. Lascar & A. Pillay - 2001 - Journal of Symbolic Logic 66 (1):127-143.

Add more references