Model theoretic stability and definability of types, after A. grothendieck

Bulletin of Symbolic Logic 20 (4):491-496, (2014)
  Copy   BIBTEX

Abstract

We point out how the "Fundamental Theorem of Stability Theory", namely the equivalence between the "non order property" and definability of types, proved by Shelah in the 1970s, is in fact an immediate consequence of Grothendieck's "Criteres de compacite" from 1952. The familiar forms for the defining formulae then follow using Mazur's Lemma regarding weak convergence in Banach spaces

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,593

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

On uniform definability of types over finite sets.Vincent Guingona - 2012 - Journal of Symbolic Logic 77 (2):499-514.
Games and definability for FPC.Guy McCusker - 1997 - Bulletin of Symbolic Logic 3 (3):347-362.
Definability and definable groups in simple theories.Anand Pillay - 1998 - Journal of Symbolic Logic 63 (3):788-796.
On definability in multimodal logic.Joseph Y. Halpern, Dov Samet & Ella Segev - 2009 - Review of Symbolic Logic 2 (3):451-468.
Local order property in nonelementary classes.Rami Grossberg & Olivier Lessmann - 2000 - Archive for Mathematical Logic 39 (6):439-457.
Non-forking frames in abstract elementary classes.Adi Jarden & Saharon Shelah - 2013 - Annals of Pure and Applied Logic 164 (3):135-191.
Abstract Beth Definability in Institutions.Marius Petria & Răzvan Diaconescu - 2006 - Journal of Symbolic Logic 71 (3):1002 - 1028.
Virtual modality. [REVIEW]William Boos - 2003 - Synthese 136 (3):435 - 491.
Definability and automorphisms in abstract logics.Xavier Caicedo - 2004 - Archive for Mathematical Logic 43 (8):937-945.
Relativized Grothendieck topoi.Nathanael Leedom Ackerman - 2010 - Annals of Pure and Applied Logic 161 (10):1299-1312.

Analytics

Added to PP
2015-03-20

Downloads
14 (#846,545)

6 months
2 (#668,348)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

ℵ 0 ‐categorical Banach spaces contain ℓp or c 0.Karim Khanaki - 2021 - Mathematical Logic Quarterly 67 (4):469-488.
Remarks on Convergence of Morley Sequences.Karim Khanaki - forthcoming - Journal of Symbolic Logic:1-19.
Automorphism groups of randomized structures.Tomás Ibarlucía - 2017 - Journal of Symbolic Logic 82 (3):1150-1179.

Add more citations

References found in this work

No references found.

Add more references