wiki_research

personal research wiki
git clone https://a3nm.net/git/wiki_research/
Log | Files | Refs

c2 (235B)

      1 # C2
      2 
      3 [FO2] with [counting_quantifiers]
      4 
      5 Does not enjoy [Craig_interpolation], according to [cate2023craig]
      6 
      7 Does not enjoy [finite_model_property]
      8 - but [satisfiability] is [decidable], cf [pratt2010two]
      9 
     10 subclass: [gc2]
     11 
     12 Up: [logic]