× This paper is not publicly visible.
Sh:E31
- Shelah, S. FPL may be equivalent to FO but not equivalent to PFP. NB: Not a final version Preprint. arXiv: math/0404205
-
Abstract:
Given a class of finite models we would like to expand each model (allowing new elements but the old universe is a separate sort), making the expressive power of LFP (least fix point logic) and PFP (inductive logic) similar while not changing the expressive power of FO (first order logic). This continues in [GISh:525]. - Version 1998-07-23_10 (13p)
Bib entry
@unpublished{Sh:E31, author = {Shelah, Saharon}, title = {{FPL may be equivalent to FO but not equivalent to PFP}}, note = {NB: Not a final version \href{https://arxiv.org/abs/math/0404205}{arXiv: math/0404205}}, arxiv_number = {math/0404205} }