Bonnie Gold

Learn More
In [3], Flum asked whether, given an L . . . . formula, if it and its negation are both co-compact, it is equivalent to a finitary formula. A related result indicating a possible affirmative answer was shown by Lindstrom [7] : if L is a generalized first order logic, satisfying the downward LowenheimSkolem theorem and the compactness theorem for countable(More)
  • 1