A presentation theorem for continuous logic and metric abstract elementary classes

Mathematical Logic Quarterly 63 (5):397-414 (2017)
  Copy   BIBTEX

Abstract

In recent years, model theory has widened its scope to include metric structures by considering real-valued models whose underlying set is a complete metric space. We show that it is possible to carry out this work by giving presentation theorems that translate the two main frameworks into discrete settings. We also translate various notions of classification theory.

Categories

Add categories

Keywords

Reprint years

DOI

10.1002/malq.201600058

Links

PhilArchive



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

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

A stability transfer theorem in d -tame metric abstract elementary classes.Pedro Zambrano - 2012 - Mathematical Logic Quarterly 58 (4-5):333-341.
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.Tapani Hyttinen - 2006 - Archive for Mathematical Logic 45 (1):63-73.
A stability transfer theorem in d-tame metric abstract elementary classes.Pedro Hernán Zambrano Ramírez - 2012 - Mathematical Logic Quarterly 58 (4):333-341.
Shelah's Categoricity Conjecture from a Successor for Tame Abstract Elementary Classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Symbolic Logic 71 (2):553 - 568.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Erratum to “Categoricity in abstract elementary classes with no maximal models” [Ann. Pure Appl. Logic 141 (2006) 108–147].Monica M. VanDieren - 2013 - Annals of Pure and Applied Logic 164 (2):131-133.
Uncountable categoricity of local abstract elementary classes with amalgamation.John T. Baldwin & Olivier Lessmann - 2006 - Annals of Pure and Applied Logic 143 (1-3):29-42.
The Chang-Łoś-Suszko theorem in a topological setting.Paul Bankston - 2006 - Archive for Mathematical Logic 45 (1):97-112.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
Limit models in metric abstract elementary classes: the categorical case.Andrés Villaveces & Pedro Zambrano - 2016 - Mathematical Logic Quarterly 62 (4-5):319-334.
A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
Classifying Dini's Theorem.Josef Berger & Peter Schuster - 2006 - Notre Dame Journal of Formal Logic 47 (2):253-262.
Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models.Andrés Villaveces & Pedro Zambrano - 2014 - Mathematical Logic Quarterly 60 (3):211-227.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.

Analytics

Added to PP
2017-12-02

Downloads
30 (#529,008)

6 months
7 (#419,635)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Metric abstract elementary classes as accessible categories.M. Lieberman & J. Rosický - 2017 - Journal of Symbolic Logic 82 (3):1022-1040.

Add more citations

References found in this work

Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
Tameness from large cardinal axioms.Will Boney - 2014 - Journal of Symbolic Logic 79 (4):1092-1119.
Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.

View all 6 references / Add more references