Switch to: References

Add citations

You must login to add citations.
  1. Logicality and model classes.Juliette Kennedy & Jouko Väänänen - 2021 - Bulletin of Symbolic Logic 27 (4):385-414.
    We ask, when is a property of a model a logical property? According to the so-called Tarski–Sher criterion this is the case when the property is preserved by isomorphisms. We relate this to model-theoretic characteristics of abstract logics in which the model class is definable. This results in a graded concept of logicality in the terminology of Sagi [46]. We investigate which characteristics of logics, such as variants of the Löwenheim–Skolem theorem, Completeness theorem, and absoluteness, are relevant from the logicality (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Abstract logic and set theory. II. large cardinals.Jouko Väänänen - 1982 - Journal of Symbolic Logic 47 (2):335-346.
    The following problem is studied: How large and how small can the Löwenheim and Hanf numbers of unbounded logics be in relation to the most common large cardinals? The main result is that the Löwenheim number of the logic with the Härtig-quantifier can be consistently put in between any two of the first weakly inaccessible, the first weakly Mahlo, the first weakly compact, the first Ramsey, the first measurable and the first supercompact cardinals.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The härtig quantifier: A survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
    A fundamental notion in a large part of mathematics is the notion of equicardinality. The language with Hartig quantifier is, roughly speaking, a first-order language in which the notion of equicardinality is expressible. Thus this language, denoted by LI, is in some sense very natural and has in consequence special interest. Properties of LI are studied in many papers. In [BF, Chapter VI] there is a short survey of some known results about LI. We feel that a more extensive exposition (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • δ-Logics and generalized quantifiers.J. A. Makowsky - 1976 - Annals of Mathematical Logic 10 (2):155-192.
    Download  
     
    Export citation  
     
    Bookmark   32 citations