arXiv math/03042052003-04-15math.LO

Automorphism groups of saturated structures; a review

Daniel Lascar

发表信息：: Proceedings of the ICM, Beijing 2002, vol. 2, 25--36

英文摘要：

We will review the main results concerning the automorphism groups of saturated structures which were obtained during the two last decades. The main themes are: the small index property in the countable and uncountable cases; the possibility of recovering a structure or a significant part of it from its automorphism group; the subgroup of strong automorphisms.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

可数算术饱和结构自同构的固定集

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

研究可数算术饱和结构自同构的固定集的特征，采用算术饱和性理论和模型论方法，揭示自同构在结构中的固定行为规律

2026-05-19math.LO

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

If an automorphism f of a structure M is such that fix(f^k) = fix(f) for all positive k, then M|fix(f) is a substructure of M. The possible isomorphism types of such M|fix(f) are characterized when M is countable and arithmetically saturated.

2022-11-17math.LO

The automorphism group of a saturated model has a large dense free subgroup

We prove that for a stable theory $T,$ if $M$ is a saturated model of $T$ of cardinality $λ$ where $λ> \big|T\big|,$ then $Aut(M)$ has a dense free subgroup on $2^λ$ generators. This affirms a conjecture of Hodges.

1993-04-12math.LO

Automorphism Groups of Countable Arithmetically Saturated Models of Peano Arithmetic

If M,N are countable, arithmetically saturated models of Peano Arithmetic and Aut(M) is isomorphic to Aut(N), then the Turing-jumps of Th(M) and Th(N) are recursively equivalent.

2014-02-23math.LO

可数递归饱和皮亚诺算术模型的自同构群和强切口

The automorphism group of countable recursively saturated models of Peano arithmetic and strong cuts

School of Mathematics, Institute for Research in Fundamental Sciences (IPM)（基础科学研究所数学学院）

本文研究可数递归饱和皮亚诺算术模型的自同构群子群，证明其小索引性质、余合集为不可数集，并指出非平凡正规子群在其中为渺小集，特别说明无限循环群不是其同态像。

2026-04-11math.LO

Reconstructing the topology of the elementary self-embedding monoids of countable saturated structures

Every transformation monoid comes equipped with a canonical topology-the topology of pointwise convergence. For some structures, the topology of the endomorphism monoid can be reconstructed from its underlying abstract monoid. This phenomenon is called automatic homeomorphicity. In this paper we show that whenever the automorphism group of a countable saturated structure has automatic homeomorphicity and a trivial center, then the monoid of elementary self-embeddings has automatic homeomorphicity, too. As a second result we strengthen a result by Lascar by showing that whenever $\mathbf{A}$ is…

2017-03-21math.LO

更多相关论文收起更多论文

具有Lascar性质结构的自同构群的伽罗瓦对应

A Galois correspondence for automorphism groups of structures with the Lascar Property

University of Torino（都灵大学）；University of Udine（乌迪内大学）

引入Lascar性质，研究可数饱和结构自同构群之间的拓扑同构，建立有限生成代数闭子集与其点稳定子群之间的伽罗瓦对应，并刻画ACF_0和无限维向量空间的自同构群。

2026-06-23math.LO

素模型的自同构群与不变测度

Automorphism groups of prime models, and invariant measures

本研究将饱和模型下自同构群的可定义子集概念适配到原子强齐次模型的相对自同构群，探讨其可定义子集布尔代数上不变测度的存在唯一性（稳定理论下成立），并验证该可定义性与可定义伽罗瓦上同调、微分伽罗瓦理论的相容性。

2024-05-20math.LO

LF groups, aec amalgamation, few automorphisms

In S. 1 we deal with amalgamation bases, e.g., we define when an a.e.c. $k$ has $(λ,κ)$-amalgamation which means "many" M in $K^k_λ$ are amalgamation bases. We then consider what happens for the class of lf groups. In S. 2 we deal with weak definability of $a \in N\setminus M$ over $M$, for $ K_{exlf}$. In S. 3 we deal with indecomposable members of $K_{exlf}$ and with the existence of universal members of $K^k_μ$, for $μ$ strong limit of cofinality $\aleph_0$. Most noteworthy: if $K_{lf}$ has a universal model in $μ$ then it has a canonical one similar to the special models, (the parallel to …

2019-01-28math.LO

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model $\mathcal{M}$ of set theory, and a nontrivial automorphism $j$ of $\mathcal{M}$, let $\mathcal{I}_{\mathrm{fix}}(j)$ be the submodel of $\mathcal{M}$ whose universe consists of elements $m$ of $\mathcal{M}$ such that $j(x)=x$ for every $x$ in the transitive closure of $m$ (where the transitive closure of $m$ is computed within $\mathcal{M}$). Here we study the class $\mathcal{C}$ of structures of the form $\mathcal{I}_{\mathrm{fix}}(j)$, where the ambient model $\mathcal{M}$ satisfies a frugal yet robust fragment of $\mathrm{ZFC}$ known as $\mathrm{MOST}$, and $j(m)=m$ whenever $…

2016-11-23math.LO

The structure of generic automorphisms of the random poset

We examine properties of generic automorphisms of the random poset, with the goal of explicitly characterizing them. We associate to each automorphism an auxiliary first-order structure, consisting of the random poset equipped with an infinite sequence of binary relations which encode the action of the automorphism. We then explicitly characterize generic automorphisms in terms of properties of this structure. Two notable such properties are ultrahomogeneity, and universality for a certain class of finite structures in this language. As this auxiliary structure seems to be new, we also address…

2020-12-29math.COmath.GRmath.LO