- 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.”My notes
Similar books and articles
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
A geometric introduction to forking and thorn-forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Thorn-forking in continuous logic.Clifton Ealy & Isaac Goldbring - 2012 - Journal of Symbolic Logic 77 (1):63-93.
Forking and fundamental order in simple theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
Forking and Fundamental Order in Simple Theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
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.
Forking and dividing in NTP₂ theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
Stable theories without dense forking chains.Bernhard Herwig, James G. Loveys, Anand Pillay, Predag Tanović & O. Wagner - 1992 - Archive for Mathematical Logic 31 (5):297-303.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Forking in VC-minimal theories.Sarah Cotter & Sergei Starchenko - 2012 - Journal of Symbolic Logic 77 (4):1257-1271.
Stable Forking and Imaginaries.Enrique Casanovas & Joris Potier - 2018 - Notre Dame Journal of Formal Logic 59 (4):497-502.
Analytics
Added to PP
2023-09-12
Downloads
8 (#1,313,626)
6 months
6 (#510,793)
2023-09-12
Downloads
8 (#1,313,626)
6 months
6 (#510,793)
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-64dd777598-zf4z4 uwo