Realization of φ-types and Keisler's order

被引：20
|
作者：
Malliaris, M. E. [1 ]
机构：
[1] Univ Calif Berkeley, Log Grp, Berkeley, CA 94720 USA
来源：
ANNALS OF PURE AND APPLIED LOGIC | 2009年 / 157卷 / 2-3期
关键词：
Saturation of ultrapowers; Keisler's order; Unstable theories; Regular filters;
D O I：
10.1016/j.apal.2008.09.008
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We show that the analysis of Keisler's order can be localized to the study of phi-types. Specifically, if D is a regular ultrafilter on lambda such that lcf (omega, D) >= lambda(+) and M is a model whose theory is countable, then M-lambda/D is lambda(+)-saturated iff it realizes all phi-types of size X. (C) 2008 Elsevier B.V. All rights reserved.
引用
收藏
页码：220 / 224
页数：5
相关论文
共 50 条
  • [31] Parigot's second order λμ-calculus and inductive types
    Matthes, R
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2001, 2044 : 329 - 343
  • [32] Molecular order and realization of the possible
    Debru, C
    ARCHIVES OF PHYSIOLOGY AND BIOCHEMISTRY, 1996, 104 (06) : 775 - 781
  • [33] Realization of Fractional Order Elements
    Avishek Adhikary
    Munmun Khanra
    Jayanta Pal
    Karabi Biswas
    INAE Letters, 2017, 2 (2): : 41 - 47
  • [34] Realization of Natural Order through Le Corbusier's Museum Prototype in Chandigarh
    Sendai, Shoichiro
    JOURNAL OF ASIAN ARCHITECTURE AND BUILDING ENGINEERING, 2017, 16 (01) : 23 - 30
  • [35] Fractional Order Realization of Conventional Integer Order Models
    Arunn, S. T.
    Mukundan, Hari, V
    2014 IEEE INTERNATIONAL CONFERENCE ON COMPUTATIONAL INTELLIGENCE AND COMPUTING RESEARCH (IEEE ICCIC), 2014, : 1150 - 1156
  • [36] Virtual operad algebras and realization of homotopy types
    Hinich, V
    JOURNAL OF PURE AND APPLIED ALGEBRA, 2001, 159 (2-3) : 173 - 185
  • [37] PESTICIDES FORMULATIONS - ITS AIM, TYPES AND REALIZATION
    HENRIET, J
    PARASITICA, 1981, 37 (04): : 145 - 153
  • [38] Realization of IEC Flickermeter for Different Types of Lamps
    Turkuzan, Mehmet
    Salor, Ozgul
    2016 24TH SIGNAL PROCESSING AND COMMUNICATION APPLICATION CONFERENCE (SIU), 2016, : 1653 - 1656
  • [39] Realization of Fractional Order Inductive Transducer
    Sarathi, V. Partha
    Uma, G.
    Umapathy, M.
    IEEE SENSORS JOURNAL, 2018, 18 (21) : 8803 - 8811
  • [40] FPGA Realization of Fractional Order Neuron
    Malik, S. A.
    Mir, A. H.
    APPLIED MATHEMATICAL MODELLING, 2020, 81 : 372 - 385
12345