Christopher J. Eagle

Learn More
We describe an infinitary logic for metric structures which is analogous to Lω 1 ,ω. We show that this logic is capable of expressing several concepts from analysis that cannot be expressed in finitary continuous logic. Using topological methods, we prove an omitting types theorem for countable fragments of our infinitary logic. We use omitting types to(More)
  • 1