Perfect IFG-formulas
Logic
2009-04-23 v1
Abstract
IFG logic is a variant of the independence-friendly logic of Hintikka and Sandu. We answer the question: ``Which IFG-formulas are equivalent to ordinary first-order formulas?'' We use the answer to show that the ordinary cylindric set algebra over a structure can be embedded into a reduct of the IFG-cylindric set algebra over the structure.
Keywords
Cite
@article{arxiv.0802.2128,
title = {Perfect IFG-formulas},
author = {Allen L. Mann},
journal= {arXiv preprint arXiv:0802.2128},
year = {2009}
}
Comments
7 pages. Submitted to Logica Universalis. See also http://math.colgate.edu/~amann/