- 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:
Theories without the tree property of the second kind
Annals of Pure and Applied Logic 165 (2):695-723 (2014)
Add citations
You must login to add citations.
|
|
|
|
|
|
We obtain some new results on the topology of unary definable sets in expansions of densely ordered Abelian groups of burden 2. In the special case in which the structure has dp‐rank 2, we show that the existence of an infinite definable discrete set precludes the definability of a set which is dense and codense in an interval, or of a set which is topologically like the Cantor middle‐third set (Theorem 2.9). If it has burden 2 and both an infinite (...) |
|
|
Motivated by the Ax–Kochen/Ershov principle, a large number of questions about Henselian valued fields have been shown to reduce to analogous questions about the value group and residue field. In this article, we investigate the burden of Henselian valued fields in the three-sorted Denef–Pas language. If T is a theory of Henselian valued fields admitting relative quantifier elimination (in any characteristic), we show that the burden of T is equal to the sum of the burdens of its value group and (...) |
|
|
In this paper, we investigate a new model theoretical tree property (TP), called the antichain tree property (ATP). We develop combinatorial techniques for ATP. First, we show that ATP is always witnessed by a formula in a single free variable, and for formulas, not having ATP is closed under disjunction. Second, we show the equivalence of ATP and [Formula: see text]-ATP, and provide a criterion for theories to have not ATP (being NATP). Using these combinatorial observations, we find algebraic examples (...) |
|
|
We consider the structures $$, $$, $$, and $$ where $\mathbb {Z}$ is the additive group of integers, $\mathrm {SF}^{\mathbb {Z}}$ is the set of $a \in \mathbb {Z}$ such that $v_{p} < 2$ for every prime p and corresponding p-adic valuation $v_{p}$, $\mathbb {Q}$ and $\mathrm {SF}^{\mathbb {Q}}$ are defined likewise for rational numbers, and $<$ denotes the natural ordering on each of these domains. We prove that the second structure is model-theoretically wild while the other three structures are (...) |
|
|
We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP1 theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types. |
|
|
We discuss dividing lines (in model theory) and some test questions, mainly the universality spectrum. So there is much on conjectures, problems and old results, mainly of the author and also on some recent results. |
|
|
We study ultraproducts of finite residue rings \ where \ is a non-principal ultrafilter. We find sufficient conditions of the ultrafilter \ to determine if the resulting ultraproduct \ has simple, NIP, \ but not simple nor NIP, or \ theory, noting that all these four cases occur. |
|
|
We consider existentially closed fields with several orderings, valuations, and [Formula: see text]-valuations. We show that these structures are NTP2 of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and [Formula: see text]CF. |
|
|
|
|
|
We study model theoretic tree properties and their associated cardinal invariants. In particular, we obtain a quantitative refinement of Shelah’s theorem for countable theories, show that [Formula: see text] is always witnessed by a formula in a single variable and that weak [Formula: see text] is equivalent to [Formula: see text]. Besides, we give a characterization of [Formula: see text] via a version of independent amalgamation of types and apply this criterion to verify that some examples in the literature are (...) |
|
|
We prove that a theory T has stable forking if and only if Teq has stable forking. |
|
|
|
|
|
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. |
|
|
For n≥3, define Tn to be the theory of the generic Kn-free graph, where Kn is the complete graph on n vertices. We prove a graph-theoretic characterization of dividing in Tn and use it to show that forking and dividing are the same for complete types. We then give an example of a forking and nondividing formula. Altogether, Tn provides a counterexample to a question of Chernikov and Kaplan. |
|
|
|
|
|
This is a survey, intended both for group theorists and model theorists, concerning the structure of pseudofinite groups, that is, infinite models of the first-order theory of finite groups. The focus is on concepts from stability theory and generalisations in the context of pseudofinite groups, and on the information this might provide for finite group theory. |
|
|
We present a new proof of the existence of Morley sequences in simple theories. We avoid using the Erdős–Rado theorem and instead use only Ramsey’s theorem and compactness. The proof shows that the basic theory of forking in simple theories can be developed using only principles from “ordinary mathematics,” answering a question of Grossberg, Iovino, and Lessmann, as well as a question of Baldwin. |
|
|
We introduce a family of local ranks $D_Q$ depending on a finite set Q of pairs of the form $(\varphi (x,y),q(y)),$ where $\varphi (x,y)$ is a formula and $q(y)$ is a global type. We prove that in any NSOP $_1$ theory these ranks satisfy some desirable properties; in particular, $D_Q(x=x)<\omega $ for any finite tuple of variables x and any Q, if $q\supseteq p$ is a Kim-forking extension of types, then $D_Q(q) |
|
|
|
|
|
We consider existentially closed fields with several orderings, valuations, and p-valuations. We show that these structures are NTP2 of finite burden, but usually have the independence property. Mo... |
|
|
We introduce the class of unshreddable theories, which contains the simple and NIP theories, and prove that such theories have exactly saturated models in singular cardinals, satisfying certain set-theoretic hypotheses. We also give criteria for a theory to have singular compactness. |
|
|
|
|
|
We prove a couple of results on NTP2 theories. First, we prove an amalgamation statement and deduce from it that the Lascar distance over extension bases is bounded by 2. This improves previous work of Ben Yaacov and Chernikov. We propose a line of investigation of NTP2 theories based on S1 ideals with amalgamation and ask some questions. We then define and study a class of groups with generically simple generics, generalizing NIP groups with generically stable generics. |
|
|
We introduce the concept of o-asymptotic classes of finite structures, melding ideas coming from 1-dimensional asymptotic classes and o-minimality. Along with several examples and non-examples of these classes, we present some classification theory results of their infinite ultraproducts: Every infinite ultraproduct of structures in an o-asymptotic class is superrosy of U^þ-rank 1, and NTP2 (in fact, inp-minimal). |
|
|
A Steiner triple system (STS) is a set S together with a collection B of subsets of S of size 3 such that any two elements of S belong to exactly one element of B. It is well known that the class of finite STS has a Fraïssé limit M_F. Here, we show that the theory T of M_F is the model completion of the theory of STSs. We also prove that T is not small and it has quantifier elimination, (...) |
|
|
|
|
|
We survey the history of Shelah’s conjecture on strongly dependent fields, give an equivalent formulation in terms of a classification of strongly dependent fields and prove that the conjecture implies that every strongly dependent field has finite dp-rank. |
|
|
We study the algebraic implications of the non-independence property and variants thereof on infinite fields, motivated by the conjecture that all such fields which are neither real closed nor separably closed admit a henselian valuation. Our results mainly focus on Hahn fields and build up on Will Johnson’s “The canonical topology on dp-minimal fields” :1850007, 2018). |
|
|
We prove a preservation theorem for NTP\ in the context of the generic variations construction. We also prove that NTP\ is preserved under adding to a geometric theory a generic predicate. |
|
|
Given a model-complete theory of topological fields, we considered its generic differential expansions and under a certain hypothesis of largeness, we axiomatised the class of existentially closed ones. Here we show that a density result for definable types over definably closed subsets in such differential topological fields. Then we show two transfer results, one on the VC-density and the other one, on the combinatorial property NTP2. |
|
|
|
|
|
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 prove that in $\operatorname {NTP}_{\operatorname {2}}$ theories the dp-rank of a type can be witnessed by indiscernible sequences of tuples satisfying that type. If the type has dp-rank infinity, then this can be witnessed by singletons. |
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