Tameness in generalized metric structures

Archive for Mathematical Logic 62 (3):531-558 (2023)
  Copy   BIBTEX

Abstract

We broaden the framework of metric abstract elementary classes (mAECs) in several essential ways, chiefly by allowing the metric to take values in a well-behaved quantale. As a proof of concept we show that the result of Boney and Zambrano (Around the set-theoretical consistency of d-tameness of metric abstract elementary classes, arXiv:1508.05529, 2015) on (metric) tameness under a large cardinal assumption holds in this more general context. We briefly consider a further generalization to partial metric spaces, and hint at connections to classes of fuzzy structures, and structures on sheaves.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
Ramsey classes of topological and metric spaces.Jaroslav Nešetřil - 2006 - Annals of Pure and Applied Logic 143 (1-3):147-154.
Tameness, powerful images, and large cardinals.Will Boney & Michael Lieberman - 2020 - Journal of Mathematical Logic 21 (1):2050024.
Metric spaces are universal for bi-interpretation with metric structures.James Hanson - 2023 - Annals of Pure and Applied Logic 174 (2):103204.
Fraïssé limits for relational metric structures.David Bryant, André Nies & Paul Tupper - 2021 - Journal of Symbolic Logic 86 (3):913-934.
A Łoś type theorem for linear metric formulas.Seyed-Mohammad Bagheri - 2010 - Mathematical Logic Quarterly 56 (1):78-84.
Distance structures for generalized metric spaces.Gabriel Conant - 2017 - Annals of Pure and Applied Logic 168 (3):622-650.
The cosmic field tensor in bimetric general relativity.D. B. Kerrighan - 1985 - Foundations of Physics 15 (3):379-386.
Continuous first order logic for unbounded metric structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):197-223.
Metric abstract elementary classes as accessible categories.M. Lieberman & J. Rosický - 2017 - Journal of Symbolic Logic 82 (3):1022-1040.

Analytics

Added to PP
2022-10-23

Downloads
9 (#1,187,161)

6 months
5 (#544,079)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

No citations found.

Add more citations

References found in this work

On strong compactness and supercompactness.Telis K. Menas - 1975 - Annals of Mathematical Logic 7 (4):327-359.
Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
Tameness from large cardinal axioms.Will Boney - 2014 - Journal of Symbolic Logic 79 (4):1092-1119.

View all 14 references / Add more references