- 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
Simple types in discretely ordered structures
Archive for Mathematical Logic 53 (7-8):929-947 (2014)
Abstract
We introduce a notion of simplicity for types in discretely ordered first order structures. We prove that all the structure on the locus of a simple type is induced exclusively by the ordering relation. As an application we determine all possible expansions of satisfying CB = 1.Other Versions
No versions found
My notes
Similar books and articles
Vaught’s Conjecture for Theories of Discretely Ordered Structures.Predrag Tanović - 2024 - Notre Dame Journal of Formal Logic 65 (3):247-257.
Definable sets in Boolean ordered o-minimal structures. II.Roman Wencel - 2003 - Journal of Symbolic Logic 68 (1):35-51.
Dp and Other Minimalities.Pierre Simon & Erik Walsberg - 2025 - Journal of Symbolic Logic 90 (4):1410-1439.
Definable sets in Stone algebras.Guohua Wu, Niandong Shi & Lei Chen - 2016 - Archive for Mathematical Logic 55 (5-6):749-757.
Strong cell decomposition property in o-minimal traces.Somayyeh Tari - 2020 - Archive for Mathematical Logic 60 (1):135-144.
Definable Skolem Functions in Weakly o-Minimal Non-Valuational Expansions of Ordered Groups.Somayyeh Tari & Mohsen Khani - forthcoming - Journal of Symbolic Logic:1-11.
Coverings by open cells.Mário J. Edmundo, Pantelis E. Eleftheriou & Luca Prelli - 2014 - Archive for Mathematical Logic 53 (3-4):307-325.
Mathematical Structures Within Simple Type Theory.Samuel González-Castillo - 2025 - Studia Logica 113 (6):1513-1542.
Small theories of Boolean ordered o-minimal structures.Roman Wencel - 2002 - Journal of Symbolic Logic 67 (4):1385-1390.
Analytics
Added to PP
2015-09-03
Downloads
42 (#1,335,008)
6 months
7 (#1,434,270)
2015-09-03
Downloads
42 (#1,335,008)
6 months
7 (#1,434,270)
Historical graph of downloads
Citations of this work
Vaught’s Conjecture for Theories of Discretely Ordered Structures.Predrag Tanović - 2024 - Notre Dame Journal of Formal Logic 65 (3):247-257.
References found in this work
Discrete o-minimal structures.Anand Pillay & Charles Steinhorn - 1987 - Annals of Pure and Applied Logic 34 (3):275-289.
On constants and the strict order property.Predrag Tanović - 2006 - Archive for Mathematical Logic 45 (4):423-430.
Types directed by constants.Predrag Tanović - 2010 - Annals of Pure and Applied Logic 161 (7):944-955.
Minimal first-order structures.Predrag Tanović - 2011 - Annals of Pure and Applied Logic 162 (11):948-957.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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