- 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
Thorn Forking, Weak Normality, and Theories with Selectors
Journal of Symbolic Logic 88 (4):1354-1366 (2023)
Abstract
We discuss the role of weakly normal formulas in the theory of thorn forking, as part of a commentary on the paper [5]. We also give a counterexample to Corollary 4.2 from that paper, and in the process discuss “theories with selectors.”Other Versions
No versions found
My notes
Similar books and articles
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
A note on the non‐forking‐instances topology.Ziv Shami - 2020 - Mathematical Logic Quarterly 66 (3):336-340.
A primer of simple theories.Rami Grossberg, José Iovino & Olivier Lessmann - 2002 - Archive for Mathematical Logic 41 (6):541-580.
Review: Anand Pillay, The Geometry of Forking and Groups of Finite Morley Rank. [REVIEW]Gregory Cherlin - 1999 - Journal of Symbolic Logic 64 (2):906-906.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Analytics
Added to PP
2023-09-12
Downloads
16 (#1,185,835)
6 months
5 (#1,032,319)
2023-09-12
Downloads
16 (#1,185,835)
6 months
5 (#1,032,319)
Historical graph of downloads
References found in this work
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
The notion of independence in categories of algebraic structures, part I: Basic properties.Gabriel Srour - 1988 - Annals of Pure and Applied Logic 38 (2):185-213.
Saturated Models for the Working Model Theorist.Yatir Halevi & Itay Kaplan - 2023 - Bulletin of Symbolic Logic 29 (2):163-169.
A free pseudospace.Andreas Baudisch & Anand Pillay - 2000 - Journal of Symbolic Logic 65 (1):443-460.
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-9l5tj dc2