Switch to: References

Add citations

You must login to add citations.
  1. Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
    n + 1 nested k-ary fixed point operators are more expressive than n. This holds on finite structures for all sublogics of partial fixed point logic PFP that can express conjunction, existential quantification and deterministic transitive closure of binary relations using at most k-ary fixed point operators and that are closed against subformulas. Among those are a lot of popular fixed point logics.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark  
  • Some Aspects of Model Theory and Finite Structures.Eric Rosen - 2002 - Bulletin of Symbolic Logic 8 (3):380-403.