wiki_research

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

fo2 (476B)

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