Switch to: References

Add citations

You must login to add citations.
  1. Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
    In this paper we study abstract elementary classes using infinitary logics and prove a number of results relating them. For example, if is an a.e.c. with Löwenheim–Skolem number κ then is closed under L∞,κ+-elementary equivalence. If κ=ω and has finite character then is closed under L∞,ω-elementary equivalence. Analogous results are established for . Galois types, saturation, and categoricity are also studied. We prove, for example, that if is finitary and λ-categorical for some infinite λ then there is some σLω1,ω such (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • The wi‐club filter on.Grace Piper - 2009 - Mathematical Logic Quarterly 55 (5):562-568.
    We develop the theory of Cκ, λi, a strongly normal filter over [MATHEMATICAL SCRIPT CAPITAL P]κλ for Mahlo κ. We prove a minimality result, showing that any strongly normal filter containing {x ∈ [MATHEMATICAL SCRIPT CAPITAL P]κλ: |x | = |x ∩ κ | and |x | is inaccessible} also contains Cκ, λi. We also show that functions can be used to obtain a basis for Cκ, λi.
    Download  
     
    Export citation  
     
    Bookmark  
  • Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
    Download  
     
    Export citation  
     
    Bookmark   37 citations  
  • On the determinacy of games on ordinals.L. A. Harrington - 1981 - Annals of Mathematical Logic 20 (2):109.
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  • Countable approximations and Löwenheim-Skolem theorems.David W. Kueker - 1977 - Annals of Mathematical Logic 11 (1):57.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • A model and its subset: the uncountable case.Ludomir Newelski - 1995 - Annals of Pure and Applied Logic 71 (2):107-129.
    Assume Q is a definable subset of a model of T. We define a notion of Q-isolated type, generalizing an earlier definition for countable Q. This notion is absolute. For superstable T, we give some sufficient conditions for the existence of Q-atomic models. We apply this to prove some results on weak categoricity over a predicate.
    Download  
     
    Export citation  
     
    Bookmark