Around independence and domination in metric abstract elementary classes: assuming uniqueness of limit models

&
Mathematical Logic Quarterly 60 (3):211-227 (2014)
  Copy   BIBTEX

Abstract

We study notions of independence appropriate for a stability theory of metric abstract elementary classes (for short, MAECs). We build on previous notions used in the discrete case, and adapt definitions to the metric case. In particular, we study notions that behave well under superstability‐like assumptions. Also, under uniqueness of limit models, we study domination, orthogonality and parallelism of Galois types in MAECs.

Categories

Keywords

Reprint years

DOI

10.1002/malq.201300059

Links

PhilArchive



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

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.
Categoricity in abstract elementary classes with no maximal models.Monica VanDieren - 2006 - Annals of Pure and Applied Logic 141 (1):108-147.
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.
A topology for galois types in abstract elementary classes.Michael Lieberman - 2011 - Mathematical Logic Quarterly 57 (2):204-216.
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.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
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.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.Tapani Hyttinen - 2006 - Archive for Mathematical Logic 45 (1):63-73.
Types in Abstract Elementary Classes.Tapani Hyttinen - 2004 - Notre Dame Journal of Formal Logic 45 (2):99-108.
Elementary classes in basic modal logic.Holger Sturm - 2000 - Studia Logica 64 (2):193-213.
Categoricity in homogeneous complete metric spaces.Åsa Hirvonen & Tapani Hyttinen - 2009 - Archive for Mathematical Logic 48 (3-4):269-322.
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.

Analytics

Added to PP
2015-09-03

Downloads
17 (#852,234)

6 months
8 (#346,782)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrés Villaveces
Universidad Nacional de Colombia

Citations of this work

Downward categoricity from a successor inside a good frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.

Add more citations

References found in this work

Galois-stability for Tame abstract elementary classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Mathematical Logic 6 (01):25-48.
Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
The geometry of weakly minimal types.Steven Buechler - 1985 - Journal of Symbolic Logic 50 (4):1044-1053.
Uncountable Dense Categoricity in Cats.Itay Ben-Yaacov - 2005 - Journal of Symbolic Logic 70 (3):829 - 860.

View all 8 references / Add more references