- 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
Quelques précisions sur la D.o.P. Et la profondeur d'une theorie
Journal of Symbolic Logic 50 (2):316-330 (1985)
Abstract
We give here alternative definitions for the notions that S. Shelah has introduced in recent papers: the dimensional order property and the depth of a theory. We will also give a proof that the depth of a countable theory, when defined, is an ordinal recursive in TOther Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Classification and interpretation.Andreas Baudisch - 1989 - Journal of Symbolic Logic 54 (1):138-159.
Classifiable theories without finitary invariants.E. Bouscaren & E. Hrushovski - 2006 - Annals of Pure and Applied Logic 142 (1-3):296-320.
Comparing Borel Reducibility and Depth of an ω-Stable Theory.Martin Koerwien - 2009 - Notre Dame Journal of Formal Logic 50 (4):365-380.
On two hierarchies of dimensions.Andreas Baudisch - 1987 - Journal of Symbolic Logic 52 (4):959-968.
A complicated ω-stable depth 2 theory.Martin Koerwien - 2011 - Journal of Symbolic Logic 76 (1):47 - 65.
An Untyped Higher Order Logic with Y Combinator.James H. Andrews - 2007 - Journal of Symbolic Logic 72 (4):1385 - 1404.
Remarks on the NIP in a model.Karim Khanaki & Anand Pillay - 2018 - Mathematical Logic Quarterly 64 (6):429-434.
Variations on a theme by Weiermann.Toshiyasu Arai - 1998 - Journal of Symbolic Logic 63 (3):897-925.
On some dynamical aspects of NIP theories.Alireza Mofidi - 2018 - Archive for Mathematical Logic 57 (1-2):37-71.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Analytics
Added to PP
2009-01-28
Downloads
46 (#534,941)
6 months
16 (#194,769)
2009-01-28
Downloads
46 (#534,941)
6 months
16 (#194,769)
Historical graph of downloads
Citations of this work
A descriptive Main Gap Theorem.Francesco Mangraviti & Luca Motto Ros - 2020 - Journal of Mathematical Logic 21 (1):2050025.
Trivial pursuit: Remarks on the main gap.John T. Baldwin & Leo Harrington - 1987 - Annals of Pure and Applied Logic 34 (3):209-230.
References found in this work
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.
An exposition of Shelah's "main gap": counting uncountable models of $\omega$-stable and superstable theories.L. Harrington & M. Makkai - 1985 - Notre Dame Journal of Formal Logic 26 (2):139-177.
Ordre de Rudin‐Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Mathematical Logic Quarterly 28 (27‐32):413-430.
Ordre de Rudin-Keisler et Poids Dans les Theories Stables.Daniel Lascar - 1982 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (27-32):413-430.
The number of uncountable models of omega-stable theories.Jürgen Saffe - 1983 - Annals of Mathematical Logic 24 (3):231.
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-54b44b69b7-nwt9g uwo