- 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
Stability in geometric theories
Annals of Pure and Applied Logic 132 (2-3):313-326 (2005)
Abstract
The class of geometric surgical theories is examined. The main theorem is that every stable theory that is interpretable in a geometric surgical theory is superstable of finite U-rankMy notes
Similar books and articles
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
Contraction-free sequent calculi for geometric theories with an application to Barr's theorem.Sara Negri - 2003 - Archive for Mathematical Logic 42 (4):389-401.
Notes on the stability of separably closed fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Topological representation of geometric theories.Henrik Forssell - 2012 - Mathematical Logic Quarterly 58 (6):380-393.
Virtual stability: Constructing a simulation model.Burton Voorhees - 2009 - Complexity 15 (2):31-44.
The group configuration in simple theories and its applications.Itay Ben-Yaacov, Ivan Tomašić & Frank O. Wagner - 2002 - Bulletin of Symbolic Logic 8 (2):283-298.
The Absolute Arithmetic and Geometric Continua.Philip Ehrlich - 1986 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1986:237 - 246.
Approximate truth and dynamical theories.Peter Smith - 1998 - British Journal for the Philosophy of Science 49 (2):253-277.
Finitary sketches.J. Adámek, P. T. Johnstone, J. A. Makowsky & J. Rosický - 1997 - Journal of Symbolic Logic 62 (3):699-707.
Linear transformations in unitary geometric algebra.Garret Sobczyk - 1993 - Foundations of Physics 23 (10):1375-1385.
Analytics
Added to PP
2014-01-16
Downloads
25 (#616,937)
6 months
11 (#222,787)
2014-01-16
Downloads
25 (#616,937)
6 months
11 (#222,787)
Historical graph of downloads
Citations of this work
Characterizing Rosy Theories.Clifton Ealy & Alf Onshuus - 2007 - Journal of Symbolic Logic 72 (3):919 - 940.
Abelian groups definable in P-adically closed fields.Will Johnson & Y. A. O. Ningyuan - forthcoming - Journal of Symbolic Logic:1-22.
Dimensions, matroids, and dense pairs of first-order structures.Antongiulio Fornasiero - 2011 - Annals of Pure and Applied Logic 162 (7):514-543.
Interpretable groups are definable.Pantelis E. Eleftheriou, Ya'acov Peterzil & Janak Ramakrishnan - 2014 - Journal of Mathematical Logic 14 (1):1450002.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
References found in this work
Some remarks on definable equivalence relations in o-minimal structures.Anand Pillay - 1986 - Journal of Symbolic Logic 51 (3):709-714.
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-7c76586df8-hc2g5 uwo