A presentation theorem for continuous logic and Metric Abstract Elementary Classes
classification
🧮 math.LO
keywords
abstractclasseselementarypresentationcontinuouslogicmetricomega
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.