首页/论文/2605.20522

arXiv 2605.205222026-05-19math.LO

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

Fixed Sets of Automorphisms of Countable, Arithmetically Saturated Structures

James Schmerl

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

AI总结：

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

摘要：

我们刻画了任意可数、算术饱和结构的自同构的固定集。通过分析结构的算术饱和性性质，研究自同构在该结构中的固定点集特征，揭示了自同构在可数算术饱和结构中固定集的结构和性质。

英文摘要：

We characterize the fixed sets of automorphisms of an arbitrary countable, arithmetically saturated structure.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

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

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

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

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

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

Rigid aleph_epsilon-saturated models of superstable theories

In a countable superstable NDOP theory, the existence of a rigid aleph_epsilon-saturated model implies the existence of 2^lambda rigid aleph_epsilon-saturated models of power lambda for every lambda>2^{aleph_0}.

1999-08-29math.LO

Automorphism groups of saturated structures; a review

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.

2003-04-15math.LO

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

Generic expansions of countable models

We compare two different notions of generic expansions of countable saturated structures. One kind of genericity is related to model-companions and to amalgamation constructions á la Hrushovski-Fraïssé. Another notion of generic expansion is defined via topological properties and Baire category theory. The second type of genericity was first formulated by Truss for automorphisms. We work with a later generalization, due to Ivanov, to finite tuples of predicates and functions.

2012-01-20math.LO

A natural model of the multiverse axioms

If ZFC is consistent, then the collection of countable computably saturated models of ZFC satisfies all of the Multiverse Axioms introduced by Hamkins.

2011-04-22math.LO

The inclusion relations of the countable models of set theory are all isomorphic

The structures $\langle M,\subseteq^M\rangle$ arising as the inclusion relation of a countable model of sufficient set theory $\langle M,\in^M\rangle$, whether well-founded or not, are all isomorphic. These structures $\langle M,\subseteq^M\rangle$ are exactly the countable saturated models of the theory of set-theoretic mereology: an unbounded atomic relatively complemented distributive lattice. A very weak set theory suffices, even finite set theory, provided that one excludes the $ω$-standard models with no infinite sets and the $ω$-standard models of set theory with an amorphous set. Analo…

2017-04-14math.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

满足类中的病态现象

Pathologies in satisfaction classes

本文研究可数递归饱和PA模型中由满足类病态现象定义的子集，刻画幂等析取、双重否定等病态类型，并证明可数非标准模型算术饱和当且仅当每个切割都能成为某满足类中的幂等析取正确切割。

2023-03-31math.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