Simple homogeneous models

Author:

Buechler Steven,Lessmann Olivier

Abstract

Geometrical stability theory is a powerful set of model-theoretic tools that can lead to structural results on models of a simple first-order theory. Typical results offer a characterization of the groups definable in a model of the theory. The work is carried out in a universal domain of the theory (a saturated model) in which the Stone space topology on ultrafilters of definable relations is compact. Here we operate in the more general setting of homogeneous models, which typically have noncompact Stone topologies. A structure M M equipped with a class of finitary relations R \mathcal {R} is strongly λ \lambda -homogeneous if orbits under automorphisms of ( M , R ) (M,\mathcal {R}) have finite character in the following sense: Given α \alpha an ordinal > λ | M | >\lambda \leq |M| and sequences a ¯ = { a i : i > α } \bar {a}=\{\,a_i:\:i>\alpha \,\} , b ¯ = { b i : i > α } \bar {b}=\{\,b_i:\:i>\alpha \,\} from M M , if ( a i 1 , , a i n ) (a_{i_1},\dots ,a_{i_n}) and ( b i 1 , , b i n ) (b_{i_1},\dots ,b_{i_n}) have the same orbit, for all n n and i 1 > > i n > α i_1>\dots >i_n>\alpha , then f ( a ¯ ) = b ¯ f(\bar {a})=\bar {b} for some automorphism f f of ( M , R ) (M,\mathcal {R}) . In this paper strongly λ \lambda -homogeneous models ( M , R ) (M,\mathcal {R}) in which the elements of R \mathcal {R} induce a symmetric and transitive notion of independence with bounded character are studied. This notion of independence, defined using a combinatorial condition called “dividing”, agrees with forking independence when ( M , R ) (M,\mathcal {R}) is saturated. A concept central to the development of stability theory for saturated structures, namely parallelism, is also shown to be well-behaved in this setting. These results broaden the scope of the methods of geometrical stability theory.

Publisher

American Mathematical Society (AMS)

Subject

Applied Mathematics,General Mathematics

Reference32 articles.

1. [BB02] A. Berenstein and S. Buechler. Simple stable homogeneous expansions of Hilbert spaces. preprint, 2002.

2. [Ber02] Alexander Berenstein. Dependence relations on homogeneous groups and homogeneous expansions of Hilbert spaces. PhD thesis, University of Notre Dame, 2002.

3. Supersimple theories;Buechler, Steven;J. Amer. Math. Soc.,2001

4. Perspectives in Mathematical Logic;Buechler, Steven,1996

5. [BY02] Itay Ben-Yaacov. Discouraging results for ultraimaginary independence theory. preprint, 2002.

Cited by 25 articles. 订阅此论文施引文献 订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献

1. Independence relations for exponential fields;Annals of Pure and Applied Logic;2023-08

2. An AEC framework for fields with commuting automorphisms;Archive for Mathematical Logic;2023-05-20

3. NSOP-LIKE INDEPENDENCE IN AECATS;The Journal of Symbolic Logic;2022-12-12

4. Simple-like independence relations in abstract elementary classes;Annals of Pure and Applied Logic;2021-07

5. THE KIM–PILLAY THEOREM FOR ABSTRACT ELEMENTARY CATEGORIES;The Journal of Symbolic Logic;2020-10-30

同舟云学术

1.学者识别学者识别

2.学术分析学术分析

3.人才评估人才评估

"同舟云学术"是以全球学者为主线,采集、加工和组织学术论文而形成的新型学术文献查询和分析系统,可以对全球学者进行文献检索和人才价值评估。用户可以通过关注某些学科领域的顶尖人物而持续追踪该领域的学科进展和研究前沿。经过近期的数据扩容,当前同舟云学术共收录了国内外主流学术期刊6万余种,收集的期刊论文及会议论文总量共计约1.5亿篇,并以每天添加12000余篇中外论文的速度递增。我们也可以为用户提供个性化、定制化的学者数据。欢迎来电咨询!咨询电话:010-8811{复制后删除}0370

www.globalauthorid.com

TOP

Copyright © 2019-2024 北京同舟云网络信息技术有限公司
京公网安备11010802033243号  京ICP备18003416号-3