- Submit
-
Browse
- 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
- More
Switch to: References
Citations of:
Stable theories with a new predicate
Journal of Symbolic Logic 66 (3):1127-1140 (2001)
Add citations
You must login to add citations.
|
|
|
We achieve several results. First, we develop a variant of the theory of absolute Galois groups in the context of many sorted structures. Second, we provide a method for coding absolute Galois groups of structures, so they can be interpreted in some monster model with an additional predicate. Third, we prove the “Weak Independence Theorem” for pseudo-algebraically closed (PAC) substructures of an ambient structure with no finite cover property (nfcp) and the property [Formula: see text]. Fourth, we describe Kim-dividing in (...) |
|
|
Dense pairs of geometric topological fields have tame open core, that is, every definable open subset in the pair is already definable in the reduct. We fix a minor gap in the published version of van den Dries's seminal work on dense pairs of o-minimal groups, and show that every definable unary function in a dense pair of geometric topological fields agrees with a definable function in the reduct, off a small definable subset, that is, a definable set internal to (...) |
|
|
Call a (strictly increasing) sequence (rn) of natural numbers regular if it satisfies the following condition: rn+1/rn→θ∈R>1∪{∞} and, if θ is algebraic, then (rn) satisfies a linear recurrence relation whose characteristic polynomial is the minimal polynomial of θ. Our main result states that (Z,+,0,R) is superstable whenever R is enumerated by a regular sequence. We give two proofs of this result. One relies on a result of E. Casanovas and M. Ziegler and the other on a quantifier elimination result. We (...) |
|
|
Fix a weakly minimal (i.e. superstable U-rank 1) structure M. Let M∗ be an expansion by constants for an elementary substructure, and let A be an arbitrary subset of the universe M. We show that all formulas in the expansion (M∗,A) are equivalent to bounded formulas, and so (M,A) is stable (or NIP) if and only if the M-induced structure AM on A is stable (or NIP). We then restrict to the case that M is a pure abelian group with (...) |
|
|
We study groups definable in tame expansions of ω-stable theories. Assuming several tameness conditions, we obtain structural theorems for groups definable and interpretable in these expansions. As our main example, by characterizing independence in the pair, where K is an algebraically closed field and G is a multiplicative subgroup of K× with the Mann property, we show that the pair satisfies the assumptions. In particular, this provides a characterization of definable and interpretable groups in in terms of algebraic groups in (...) |
|
|
In this paper, we study the field of algebraic numbers with a set of elements of small height treated as a predicate. We prove that such structures are not simple and have the independence property. A real algebraic integer is called a Salem number if α and are Galois conjugate and all other Galois conjugates of α lie on the unit circle. It is not known whether 1 is a limit point of Salem numbers. We relate the simplicity of a (...) |
|
|
We prove that has no proper superstable expansions of finite Lascar rank. Nevertheless, this structure equipped with a predicate defining powers of a given natural number is superstable of Lascar rank ω. Additionally, our methods yield other superstable expansions such as equipped with the set of factorial elements. |
|
|
Based on the work done in [][] in the o‐minimal and geometric settings, we study expansions of models of a supersimple theory with a new predicate distiguishing a set of forking‐independent elements that is dense inside a partial type, which we call H‐structures. We show that any two such expansions have the same theory and that under some technical conditions, the saturated models of this common theory are again H‐structures. We prove that under these assumptions the expansion is supersimple and (...) |
|
|
We prove the NTP1 property of a geometric theory T is inherited by theories of lovely pairs and H‐structures associated to T. We also provide a class of examples of nonsimple geometric NTP1 theories. |
|
|
We show that if T is any geometric theory having the NTP2 then the corresponding theories of lovely pairs of models of T and of H‐structures associated to T also have the NTP2. We also prove that if T is strong then the same two expansions of T are also strong. |
|
|
We provide a first order axiomatization of the expansion of the complex field by the exponential function restricted to the subring of integers modulo the first order theory of (Z, +, ·). |
|
|
Bounded PAC substructures of models of stable theory T are generalizations of bounded PAC fields and bounded PAC beautiful pairs generalize Poizat's beautiful pairs. Both notions were introduced in the authors Ph.D. thesis. In this paper, we prove that under the assumption that the PAC property is first order for T, the theory of any bounded PAC structure is simple. Moreover, if the PAC property is first order for T and T does not have the finite cover property, then the (...) |
|
|
|
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-6686886f5-7g5mb uwo