Metric spaces are universal for bi-interpretation with metric structures

Annals of Pure and Applied Logic 174 (2):103204 (2023)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2022.103204

Links

PhilArchive



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

External links

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

Through your library

My notes

Similar books and articles

Encoding Complete Metric Structures by Classical Structures.Nathanael Leedom Ackerman - 2020 - Logica Universalis 14 (4):421-459.
New Contributions in Generalization S -Metric Spaces to S ∗ p -Partial Metric Spaces with Some Results in Common Fixed Point Theorems.Asma Al Rwaily & A. M. Zidan - 2021 - Complexity 2021:1-8.
Consequences of the failure of the axiom of choice in the theory of Lindelof metric spaces.Kyriakos Keremedis - 2004 - Mathematical Logic Quarterly 50 (2):141.
A classification of the cofinal structures of precompacta.Aviv Eshed, M. Vicenta Ferrer, Salvador Hernández, Piotr Szewczak & Boaz Tsaban - 2020 - Annals of Pure and Applied Logic 171 (8):102810.
Ramsey classes of topological and metric spaces.Jaroslav Nešetřil - 2006 - Annals of Pure and Applied Logic 143 (1-3):147-154.
Domain representability of metric spaces.Jens Blanck - 1997 - Annals of Pure and Applied Logic 83 (3):225-247.
Compact Metric Spaces and Weak Forms of the Axiom of Choice.E. Tachtsis & K. Keremedis - 2001 - Mathematical Logic Quarterly 47 (1):117-128.
Concrete incompleteness from efa through large cardinals.Harvey M. Friedman - unknown
Some new results on decidability for elementary algebra and geometry.Robert M. Solovay, R. D. Arthan & John Harrison - 2012 - Annals of Pure and Applied Logic 163 (12):1765-1802.
Categorical semantics of metric spaces and continuous logic.Simon Cho - 2020 - Journal of Symbolic Logic 85 (3):1044-1078.
Strong Completeness of Modal Logics Over 0-Dimensional Metric Spaces.Robert Goldblatt & Ian Hodkinson - 2020 - Review of Symbolic Logic 13 (3):611-632.
Low-distortion embeddings of infinite metric spaces into the real line.Stefan Geschke - 2009 - Annals of Pure and Applied Logic 157 (2-3):148-160.
Computable and continuous partial homomorphisms on metric partial algebras.Viggo Stoltenberg-Hansen & John V. Tucker - 2003 - Bulletin of Symbolic Logic 9 (3):299-334.
On countable choice and sequential spaces.Gonçalo Gutierres - 2008 - Mathematical Logic Quarterly 54 (2):145-152.
Metric temporal reasoning with less than two clocks.Mark Reynolds - 2010 - Journal of Applied Non-Classical Logics 20 (4):437-455.

Analytics

Added to PP
2022-10-15

Downloads
13 (#1,013,785)

6 months
6 (#512,819)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Approximate isomorphism of metric structures.James E. Hanson - forthcoming - Mathematical Logic Quarterly.

Add more citations

References found in this work

On perturbations of continuous structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):225-249.
Continuous first order logic for unbounded metric structures.Itaï Ben Yaacov - 2008 - Journal of Mathematical Logic 8 (2):197-223.

Add more references