A presentation theorem for continuous logic and Metric Abstract Elementary Classes

Will Boney

A presentation theorem for continuous logic and Metric Abstract Elementary Classes

Logic 2016-09-14 v3

Authors: Will Boney

Abstract

We give a presentation theorem for continuous first-order logic and Metric Abstract Elementary classes in terms of $L_{\omega_1, \omega}$ and Abstract Elementary Classes, respectively. This presentation is accomplished by analyzing dense subsets that are closed under functions. We extend this correspondence to types and saturation.

Keywords

mathematical logic set theory fundamental theorem

Cite

@article{arxiv.1408.3624,
  title  = {A presentation theorem for continuous logic and Metric Abstract Elementary Classes},
  author = {Will Boney},
  journal= {arXiv preprint arXiv:1408.3624},
  year   = {2016}
}

Related papers

View all related →