wiki_research

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

fo2 (420B)

      1 # FO2
      2 
      3 [FOk] with [two_variables]
      4 
      5 extensions: 
      6 - [c2] with [counting_quantifier]
      7 - [gc2] with [guarded_fragment] quantification
      8 
      9 FO2 on [words] with order cannot define [successor]: you need [FO3]
     10 - with [successor], it defines a variety of [semigroups]
     11 
     12 Does not enjoy [craig_interpolation], according to [cate2023craig], but enjoys [finite_model_property]
     13 
     14 For [FO_satisfiability], cf [FO2_satisfiability]
     15 
     16 Up: [fok]