Abstract
AbstractWe 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 “Critères de compacité” from 1952. The familiar forms for the defining formulae then follow using Mazur’s Lemma regarding weak convergence in Banach spaces.
Publisher
Cambridge University Press (CUP)
Reference13 articles.
1. Fragmentability and representations of flows;Megrelishvili;Proceedings of the 17th Summer Conference on Topology and its Applications,2003
2. Criteres de Compacite dans les Espaces Fonctionnels Generaux
3. Model theory for metric structures
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Approximate equivalence relations;Model Theory;2024-07-19
2. Glivenko–Cantelli classes and NIP formulas;Archive for Mathematical Logic;2024-06-03
3. Continuous stable regularity;Journal of the London Mathematical Society;2023-10-10
4. REMARKS ON CONVERGENCE OF MORLEY SEQUENCES;The Journal of Symbolic Logic;2023-04-04
5. Amenability, connected components, and definable actions;Selecta Mathematica;2021-12-08