- 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
CM-triviality and relational structures
Annals of Pure and Applied Logic 122 (1-3):175-194 (2003)
Abstract
Continuing work of Baldwin and Shi 1), we study non-ω-saturated generic structures of the ab initio Hrushovski construction with amalgamation over closed sets. We show that they are CM-trivial with weak elimination of imaginaries. Our main tool is a new characterization of non-forking in these theoriesMy notes
Similar books and articles
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.
CM-triviality and generic structures.Ikuo Yoneda - 2003 - Archive for Mathematical Logic 42 (5):423-433.
Ab initio generic structures which are superstable but not ω-stable.Koichiro Ikeda - 2012 - Archive for Mathematical Logic 51 (1):203-211.
The geometry of forking and groups of finite Morley rank.Anand Pillay - 1995 - Journal of Symbolic Logic 60 (4):1251-1259.
The geometry of Hrushovski constructions, I: The uncollapsed case.David M. Evans & Marco S. Ferreira - 2011 - Annals of Pure and Applied Logic 162 (6):474-488.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
Mekler's construction preserves CM-triviality.Andreas Baudisch - 2002 - Annals of Pure and Applied Logic 115 (1-3):115-173.
Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.
Generic pairs of SU-rank 1 structures.Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 120 (1-3):103-149.
Weakly one-based geometric theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
Analytics
Added to PP
2014-01-16
Downloads
26 (#631,133)
6 months
4 (#862,832)
2014-01-16
Downloads
26 (#631,133)
6 months
4 (#862,832)
Historical graph of downloads
Citations of this work
The theories of Baldwin–Shi hypergraphs and their atomic models.Danul K. Gunatilleka - 2021 - Archive for Mathematical Logic 60 (7):879-908.
2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07.Steffen Lempp - 2008 - Bulletin of Symbolic Logic 14 (1):123-159.
References found in this work
A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Stable generic structures.John T. Baldwin & Niandong Shi - 1996 - Annals of Pure and Applied Logic 79 (1):1-35.
ℵ0-categorical structures with a predimension.David M. Evans - 2002 - Annals of Pure and Applied Logic 116 (1-3):157-186.
A note on CM-Triviality and the geometry of forking.Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):474-480.
Supersimple ω-categorical groups and theories.David M. Evans & Frank O. Wagner - 2000 - Journal of Symbolic Logic 65 (2):767-776.
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-68866f4b87-sz9d2 uwo