- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some remarks on indiscernible sequences
Mathematical Logic Quarterly 49 (5):475-478 (2003)
Abstract
We prove a property of generic homogeneity of tuples starting an infinite indiscernible sequence in a simple theory and we use it to give a shorter proof of the Independence Theorem for Lascar strong types. We also characterize the relation of starting an infinite indiscernible sequence in terms of coheirsOther Versions
No versions found
My notes
Similar books and articles
Some remarks on indiscernible sequences.Enrique Casanovas Ruiz-Fornells - 2003 - Mathematical Logic Quarterly 49 (5):475.
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.
Almost Indiscernible Sequences and Convergence of Canonical Bases.Itaï Ben Yaacov, Alexander Berenstein & C. Ward Henson - 2014 - Journal of Symbolic Logic 79 (2):460-484.
Stability, the NIP, and the NSOP: model theoretic properties of formulas via topological properties of function spaces.Karim Khanaki - 2020 - Mathematical Logic Quarterly 66 (2):136-149.
Indiscernible Extraction and Morley Sequences.Sebastien Vasey - 2017 - Notre Dame Journal of Formal Logic 58 (1):127-132.
Remarks on the NIP in a model.Karim Khanaki & Anand Pillay - 2018 - Mathematical Logic Quarterly 64 (6):429-434.
Dividing lines in unstable theories and subclasses of Baire 1 functions.Karim Khanaki - 2022 - Archive for Mathematical Logic 61 (7):977-993.
Distinct volume subsets via indiscernibles.William Gasarch & Douglas Ulrich - 2019 - Archive for Mathematical Logic 58 (3-4):469-483.
A game‐theoretic proof of analytic Ramsey theorem.Kazuyuki Tanaka - 1992 - Mathematical Logic Quarterly 38 (1):301-304.
Theories without the tree property of the second kind.Artem Chernikov - 2014 - Annals of Pure and Applied Logic 165 (2):695-723.
Analytics
Added to PP
2013-12-01
Downloads
35 (#653,582)
6 months
5 (#1,071,419)
2013-12-01
Downloads
35 (#653,582)
6 months
5 (#1,071,419)
Historical graph of downloads
Citations of this work
References found in this work
Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
An introduction to forking.Daniel Lascar & Bruno Poizat - 1979 - Journal of Symbolic Logic 44 (3):330-350.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-sfdq8 dc2