We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

math.LO

Change to browse by:

References & Citations

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo

Mathematics > Logic

Title: Approximate Categoricity in Continuous Logic

Authors: James Hanson
Abstract: We explore approximate categoricity in the context of distortion systems, introduced in our previous paper, which are a mild generalization of perturbation systems, introduced by Ben Yaacov. We extend Ben Yaacov's Ryll-Nardzewski style characterization of separably approximately categorical theories from the context of perturbation systems to that of distortion systems. We also make progress towards an analog of Morley's theorem for inseparable approximate categoricity, showing that if there is some uncountable cardinal $\kappa$ such that every model of size $\kappa$ is 'approximately saturated,' in the appropriate sense, then the same is true for all uncountable cardinalities. Finally we present some examples of these phenomena and highlight an apparent interaction between ordinary separable categoricity and inseparable approximate categoricity.
Comments: 28 pages
Subjects: Logic (math.LO)
MSC classes: 03C66, 03C35, 03C45
Cite as: arXiv:2011.00589 [math.LO]
  (or arXiv:2011.00589v1 [math.LO] for this version)

Submission history

From: James Hanson [view email]
[v1] Sun, 1 Nov 2020 18:40:11 GMT (32kb)

Link back to: arXiv, form interface, contact.