Switch to: References

Add citations

You must login to add citations.
  1. 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   11 citations  
  • Expressing cardinality quantifiers in monadic second-order logic over chains.Vince Bárány, Łukasz Kaiser & Alexander Rabinovich - 2011 - Journal of Symbolic Logic 76 (2):603 - 619.
    We investigate the extension of monadic second-order logic of order with cardinality quantifiers "there exists uncountably many sets such that... " and "there exists continuum many sets such that... ". We prove that over the class of countable linear orders the two quantifiers are equivalent and can be effectively and uniformly eliminated. Weaker or partial elimination results are obtained for certain wider classes of chains. In particular, we show that over the class of ordinals the uncountability quantifier can be effectively (...)
    Download  
     
    Export citation  
     
    Bookmark