Strong splitting in stable homogeneous models

被引：25
|
作者：
Hyttinen, T
Shelah, S
机构：
[1] Univ Helsinki, Dept Math, Helsinki 00014, Finland
[2] Hebrew Univ Jerusalem, Inst Math, IL-91904 Jerusalem, Israel
[3] Rutgers State Univ, Hill Ctr Bush, New Brunswick, NJ 08903 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2000年 / 103卷 / 1-3期
关键词：
model classes; classification; stability;
D O I：
10.1016/S0168-0072(99)00044-5
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
In this paper we study elementary submodels of a stable homogeneous structure. We improve the independence relation defined in Hyttinen (Fund. Math. 156 (1998) 167-182). We apply this to prove a structure theorem. We also show that dop and sdop are essentially equivalent, where the negation of dop is the property we use in our structure theorem and sdop implies nonstructure, see Hyttinen (1998). (C) 2000 Elsevier Science B.V. All rights reserved.
引用
收藏
页码：201 / 228
页数：28
相关论文
共 50 条
  • [1] Strong stability and the incompleteness of stable models for λ-calculus
    Bastonero, O
    Gouy, X
    ANNALS OF PURE AND APPLIED LOGIC, 1999, 100 (1-3) : 247 - 277
  • [2] Fast and stable explicit operator splitting methods for phase-field models
    Cheng, Yuanzhen
    Kurganov, Alexander
    Qu, Zhuolin
    Tang, Tao
    JOURNAL OF COMPUTATIONAL PHYSICS, 2015, 303 : 45 - 65
  • [3] Efficient and stable electrocatalysts for water splitting
    Bu, Xiuming
    Li, Yanguang
    Ho, Johnny C.
    MRS BULLETIN, 2020, 45 (07) : 531 - 538
  • [4] A stable splitting of factorisation homology of generalised surfaces
    Kranhold, Florian
    JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES, 2025, 111 (02):
  • [5] On a strong minimum of stable forms of elastica
    Batista, Milan
    MECHANICS RESEARCH COMMUNICATIONS, 2020, 107
  • [6] Realization and Discretization of Asymptotically Stable Homogeneous Systems
    Efimov, Denis
    Polyakov, Andrey
    Levant, Arie
    Perruquetti, Wilfrid
    IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 2017, 62 (11) : 5962 - 5969
  • [7] On State-dependent Discretization of Stable Homogeneous Systems
    Efimov, D.
    Polyakov, A.
    Aleksandrov, A. Yu.
    2018 IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2018, : 6848 - 6853
  • [8] Acceleration of finite-time stable homogeneous systems
    Dvir, Y.
    Levant, A.
    Efimov, D.
    Polyakov, A.
    Perruquetti, W.
    INTERNATIONAL JOURNAL OF ROBUST AND NONLINEAR CONTROL, 2018, 28 (05) : 1757 - 1777
  • [9] Stable metal-organic frameworks for PEC water splitting
    Gong, Yun-Nan
    Liu, Jin-Wang
    Shao, Bi-Zhu
    Zhong, Di-Chang
    Lu, Tong-Bu
    FLATCHEM, 2021, 27
  • [10] Splitting schemes for phase-field models
    Calo, Victor
    Minev, Peter
    Puzyrev, Vladimir
    APPLIED NUMERICAL MATHEMATICS, 2020, 156 : 192 - 209
12345