Is there a property definable in finite-variable infinitary logic L^{\omega}_{\omega\infty} but not definable in partial fixed point logic FO(PFP) ?
infinitary logic and partial fixed point logic
user47181
- 41
- 2