Showing 1–30 of 30 results for author: Palacin, D

Supersimplicty and arithmetic progressions

Authors: Amador Martin-Pizarro, Daniel Palacín

Abstract: The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for definable groups in simple theories. In the last sections of this article, we apply our model-theoretic results to bound the number of initial points starting few… ▽ More The main motivation for this article is to explore the connections between the existence of certain combinatorial patterns (as in van der Corputs's theorem on arithmetic progressions of length $3$) with well-known tools and theorems for definable groups in simple theories. In the last sections of this article, we apply our model-theoretic results to bound the number of initial points starting few arithmetic progression of length $3$ in the structure of the additive group of integers with a predicate for the prime integers, assuming Dickson's conjecture, or with a predicate for the square-free integers, as well as for asymptotic limits of finite fields. Our techniques yield similar results for the elements appearing as distances in skew-corners and for Sárközy's theorem. △ Less

Submitted 11 March, 2025; originally announced March 2025.

MSC Class: 03C45

An exposition on the supersimplicity of certain expansions of the additive group of the integers

Authors: Amador Martin-Pizarro, Daniel Palacín

Abstract: In this short note, we present a self-contained exposition of the supersimplicity of certain expansions of the additive group of the integers, such as adding a generic predicate (due to Chatzidakis and Pillay), a predicate for the square-free integers (due to Bhardwaj and Tran) or a predicate for the prime integers (due to Kaplan and Shelah, assuming Dickson's conjecture). In this short note, we present a self-contained exposition of the supersimplicity of certain expansions of the additive group of the integers, such as adding a generic predicate (due to Chatzidakis and Pillay), a predicate for the square-free integers (due to Bhardwaj and Tran) or a predicate for the prime integers (due to Kaplan and Shelah, assuming Dickson's conjecture). △ Less

Submitted 7 February, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Finite central extensions of o-minimal groups

Authors: Elías Baro, Daniel Palacín

Abstract: We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract finite central extension of a definably connected solvable definable group in an o-minimal structure is equivalent to a definable (hence topological) finite cent… ▽ More We answer in the affirmative a conjecture of Berarducci, Peterzil and Pillay \cite{BPP10} for solvable groups, which is an o-minimal version of a particular case of Milnor's isomorphism conjecture \cite{jM83}. We prove that every abstract finite central extension of a definably connected solvable definable group in an o-minimal structure is equivalent to a definable (hence topological) finite central extension. The proof relies on an o-minimal adaptation of the higher inflation-restriction exact sequence due to Hochschild and Serre. As in \cite{jM83}, we also prove in o-minimal expansions of real closed fields that the conjecture reduces to definably simple groups. △ Less

Submitted 26 March, 2025; v1 submitted 23 July, 2024; originally announced July 2024.

Ellis enveloping semigroups in real closed fields

Authors: Elías Baro, Daniel Palacín

Abstract: We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic (definable) sets. For definably connected o-minimal groups, we prove that this family agrees with the one of externally definable sets in the one-dimensional case. N… ▽ More We introduce the Boolean algebra of d-semialgebraic (more generally, d-definable) sets and prove that its Stone space is naturally isomorphic to the Ellis enveloping semigroup of the Stone space of the Boolean algebra of semialgebraic (definable) sets. For definably connected o-minimal groups, we prove that this family agrees with the one of externally definable sets in the one-dimensional case. Nonetheless, we prove that in general these two families differ, even in the semialgebraic case over the real algebraic numbers. On the other hand, in the semialgebraic case we characterise real semialgrebraic functions representing Boolean combinations of d-semialgebraic sets. △ Less

Submitted 15 January, 2024; v1 submitted 14 July, 2023; originally announced July 2023.

Comments: 22 pages

MSC Class: 14P10; 03C45; 03C64; 37B05

Rings of finite Morley rank without the canonical base property

Authors: Michael Loesch, Daniel Palacín

Abstract: We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is a field, a ring of positive characteristic or a finite direct product of these. In addition, we also construct a CM-trivial commutative local ring with a finit… ▽ More We present numerous natural algebraic examples without the so-called Canonical Base Property (CBP). We prove that every commutative unitary ring of finite Morley rank without finite-index proper ideals satisfies the CBP if and only if it is a field, a ring of positive characteristic or a finite direct product of these. In addition, we also construct a CM-trivial commutative local ring with a finite residue field without the CBP. Furthermore, we also show that finite-dimensional non-associative algebras over an algebraically closed field of characteristic $0$ give rise to triangular rings without the CBP. This also applies to Baudisch's $2$-step nilpotent Lie algebras, which yields the existence of a $2$-step nilpotent group of finite Morley rank whose theory, in the pure language of groups, is CM-trivial and does not satisfy the CBP. △ Less

Submitted 21 December, 2023; v1 submitted 15 June, 2023; originally announced June 2023.

Stability, corners, and other 2-dimensional shapes

Authors: Amador Martin-Pizarro, Daniel Palacin, Julia Wolf

Abstract: We introduce a relaxation of stability, called robust stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a pseudofinite group. We show that robust stability satisfies a stationarity principle for measure independent elements. We apply this principle to deduce the existence of squares in dense robustly stable subsets of Cartesian products of non-standard finite group… ▽ More We introduce a relaxation of stability, called robust stability, which is insensitive to perturbations by subsets of Loeb measure $0$ in a pseudofinite group. We show that robust stability satisfies a stationarity principle for measure independent elements. We apply this principle to deduce the existence of squares in dense robustly stable subsets of Cartesian products of non-standard finite groups, possibly non-abelian. Our results imply qualitative asymptotic versions for Cartesian products of finite groups. In the final section, we establish the existence of $3\times 2$-grids (and thus of $L$-shapes) in dense robustly stable $2$-dimensional subsets of finite abelian groups of odd order. △ Less

Submitted 17 April, 2024; v1 submitted 25 October, 2022; originally announced October 2022.

MSC Class: 03C13; 03C45; 11B30

Spectral Spaces in o-minimal and other NIP theories

Authors: Elías Baro, José F. Fernando, Daniel Palacín

Abstract: We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil and Starchenko. In particular, we prove for definably compact groups that the space of closed points is homeomorphic to the space of infinitesimal types. We also… ▽ More We study some model-theoretic notions in NIP by means of spectral topology. In the o-minimal setting we relate the o-minimal spectrum with other topological spaces such as the real spectrum and the space of infinitesimal types of Peterzil and Starchenko. In particular, we prove for definably compact groups that the space of closed points is homeomorphic to the space of infinitesimal types. We also prove that with the spectral topology the set of invariant types concentrated in a definably compact set is a normal spectral space whose closed points are the finitely satisfiable types. On the other hand, for arbitrary NIP structures we equip the set of invariant types with a new topology, called the {\em honest topology}. With this topology the set of invariant types is a normal spectral space whose closed points are the finitely satisfiable ones, and the natural retraction from invariant types onto finitely satisfiable types coincides with Simon's $F_M$ retraction. △ Less

Submitted 13 March, 2024; v1 submitted 1 August, 2022; originally announced August 2022.

Complete type amalgamation for non-standard finite groups

Authors: Amador Martin-Pizarro, Daniel Palacín

Abstract: We extend previous work on Hrushovski's stabilizer's theorem and prove a measure-theoretic version of a well-known result of Pillay-Scanlon-Wagner on products of three types. This generalizes results of Gowers on products of three sets and yields model-theoretic proofs of existing asymptotic results for quasirandom groups. We also obtain a model-theoretic proof of Roth's theorem on the existence o… ▽ More We extend previous work on Hrushovski's stabilizer's theorem and prove a measure-theoretic version of a well-known result of Pillay-Scanlon-Wagner on products of three types. This generalizes results of Gowers on products of three sets and yields model-theoretic proofs of existing asymptotic results for quasirandom groups. We also obtain a model-theoretic proof of Roth's theorem on the existence of arithmetic progressions of length $3$ for subsets of positive density in suitable definably amenable groups, such as countable amenable abelian groups without involutions and ultraproducts of finite abelian groups of odd order. △ Less

Submitted 6 February, 2024; v1 submitted 18 September, 2020; originally announced September 2020.

MSC Class: 03C45; 11B30

Journal ref: Model Th. 3 (2024) 1-37

Finite groups contain large centralizers

Authors: Daniel Palacín

Abstract: Every finite non-abelian group of order $n$ has a non-central element whose centralizer has order exceeding $n^{1/3}$. The proof does not rely on the classification of finite simple groups, yet it uses the Feit-Thompson theorem. Every finite non-abelian group of order $n$ has a non-central element whose centralizer has order exceeding $n^{1/3}$. The proof does not rely on the classification of finite simple groups, yet it uses the Feit-Thompson theorem. △ Less

Submitted 22 July, 2020; v1 submitted 3 June, 2020; originally announced June 2020.

Probabilistically-like nilpotent groups

Authors: Daniel Palacín

Abstract: The main goal of the paper is to present a general model theoretic framework to understand a result of Shalev on probabilistically finite nilpotent groups. We prove that a suitable group where the equation $[x_1,\ldots,x_k]=1$ holds on a wide set, in a model theoretic sense, is an extension of a nilpotent group of class less than $k$ by a uniformly locally finite group. In particular, this result… ▽ More The main goal of the paper is to present a general model theoretic framework to understand a result of Shalev on probabilistically finite nilpotent groups. We prove that a suitable group where the equation $[x_1,\ldots,x_k]=1$ holds on a wide set, in a model theoretic sense, is an extension of a nilpotent group of class less than $k$ by a uniformly locally finite group. In particular, this result applies to amenable groups, as well as to suitable model-theoretic families of definable groups such as groups in simple theories and groups with finitely satisfiable generics. △ Less

Submitted 24 April, 2022; v1 submitted 2 January, 2020; originally announced January 2020.

Stabilizers, Measures and IP-sets

Authors: Amador Martin-Pizarro, Daniel Palacín

Abstract: The purpose of this simple note is to provide elementary model-theoretic proofs to some existing results on sumset phenomena and IP sets, motivated by Hrushovski's work on the stabilizer theorem. The purpose of this simple note is to provide elementary model-theoretic proofs to some existing results on sumset phenomena and IP sets, motivated by Hrushovski's work on the stabilizer theorem. △ Less

Submitted 17 June, 2024; v1 submitted 16 December, 2019; originally announced December 2019.

A model-theoretic note on the Freiman-Ruzsa theorem

Authors: Amador Martin-Pizarro, Daniel Palacin, Julia Wolf

Abstract: A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups. A non-quantitative version of the Freiman-Ruzsa theorem is obtained for finite stable sets with small tripling in arbitrary groups, as well as for (finite) weakly normal subsets in abelian groups. △ Less

Submitted 21 May, 2021; v1 submitted 5 December, 2019; originally announced December 2019.

MSC Class: 03C13 (Primary); 03C45; 11B30 (Secondary)

On compactifications and product-free sets

Authors: Daniel Palacín

Abstract: A subset of a group is said to be product-free if it does not contain three elements satisfying the equation $xy=z$. We give a negative answer to a question of Babai and Sós on the existence of large product-free sets by model theoretic means. This question was originally answered by Gowers. Furthermore, we give a natural and sufficient model theoretic condition for a group to have a large product… ▽ More A subset of a group is said to be product-free if it does not contain three elements satisfying the equation $xy=z$. We give a negative answer to a question of Babai and Sós on the existence of large product-free sets by model theoretic means. This question was originally answered by Gowers. Furthermore, we give a natural and sufficient model theoretic condition for a group to have a large product-free subset, as well as a model theoretic account of a result of Nikolov and Pyber on triple products. △ Less

Submitted 4 March, 2019; v1 submitted 26 July, 2018; originally announced July 2018.

On the class of flat stable theories

Authors: Daniel Palacín, Saharon Shelah

Abstract: A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theor… ▽ More A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence relation, flat theories are defined as an appropriate version of superstability. It is shown that in a flat theory every type has finite weight and therefore flat theories are strong. Furthermore, it is shown that under reasonable conditions any type is non-orthogonal to a regular one. Concerning groups in flat theories, it is shown that type-definable groups behave like superstable ones, since they satisfy the same chain condition on definable subgroups and also admit a normal series of definable subgroup with semi-regular quotients. △ Less

Submitted 17 April, 2018; v1 submitted 4 January, 2018; originally announced January 2018.

The dp-rank of abelian groups

Authors: Yatir Halevi, Daniel Palacín

Abstract: An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonenkis density. Furthermore, strong abelian groups are characterised to be precisely those abelian groups $A$ such that there is only finitely many primes $p$ such that the group $A/pA$ is infinite and for every prime $p$,… ▽ More An equation to compute the dp-rank of any abelian group is given. It is also shown that its dp-rank, or more generally that of any one-based group, agrees with its Vapnik-Chervonenkis density. Furthermore, strong abelian groups are characterised to be precisely those abelian groups $A$ such that there is only finitely many primes $p$ such that the group $A/pA$ is infinite and for every prime $p$, there is only finitely many natural numbers $n$ such that $(p^nA)[p]/(p^{n+1}A)[p]$ is infinite. Finally, it is shown that an infinite stable field of finite dp-rank is algebraically closed. △ Less

Submitted 14 January, 2019; v1 submitted 12 December, 2017; originally announced December 2017.

Journal ref: J. symb. log. 84 (2019) 957-986

Finite rank and pseudofinite groups

Authors: Daniel Palacín

Abstract: It is proven that an infinite finitely generated group cannot be elementarily equivalent to an ultraproduct of finite groups of a given Prüfer rank. Furthermore, it is shown that an infinite finitely generated group of finite Prüfer rank is not pseudofinite. It is proven that an infinite finitely generated group cannot be elementarily equivalent to an ultraproduct of finite groups of a given Prüfer rank. Furthermore, it is shown that an infinite finitely generated group of finite Prüfer rank is not pseudofinite. △ Less

Submitted 25 February, 2018; v1 submitted 6 November, 2017; originally announced November 2017.

Ample Pairs

Authors: Enrique Casanovas, Amador Martin-Pizarro, Daniel Palacin

Abstract: We show that the ample degree of a stable theory with trivial forking is preserved when we consider the corresponding theory of belles paires, if it exists. This result also applies to the theory of $H$-structures of a trivial theory of rank $1$. We show that the ample degree of a stable theory with trivial forking is preserved when we consider the corresponding theory of belles paires, if it exists. This result also applies to the theory of $H$-structures of a trivial theory of rank $1$. △ Less

Submitted 29 October, 2018; v1 submitted 4 September, 2017; originally announced September 2017.

Comments: Research partially supported by the program MTM2014-59178-P. The second author conducted research with support of the programme ANR-13-BS01-0006 Valcomo. The third author would like to thank the European Research Council grant 338821

MSC Class: 03C45

Journal ref: Fundamenta Mathematicae 247 (2019), 37-48

Centralizers in pseudo-finite groups

Authors: Nadja Hempel, Daniel Palacin

Abstract: The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a consequence, we give a model-theoretic proof of a result for periodic groups due to Hartley and Meixner. Furthermore, it is shown that any pseudo-finite group… ▽ More The role of finite centralizers of involutions in pseudo-finite groups is analyzed. It is shown that a pseudo-finite group admitting a definable involutory automorphism fixing only finitely many elements is finite-by-abelian-by-finite. As a consequence, we give a model-theoretic proof of a result for periodic groups due to Hartley and Meixner. Furthermore, it is shown that any pseudo-finite group has an infinite abelian subgroup. △ Less

Submitted 4 November, 2020; v1 submitted 27 February, 2017; originally announced February 2017.

A note on FC-nilpotency

Authors: Nadja Hempel, Daniel Palacin

Abstract: The notion of bounded FC-nilpotent group is introduced and it is shown that any such group is nilpotent-by-finite, generalizing a result of Neumann on bounded FC-groups. The notion of bounded FC-nilpotent group is introduced and it is shown that any such group is nilpotent-by-finite, generalizing a result of Neumann on bounded FC-groups. △ Less

Submitted 7 August, 2017; v1 submitted 17 November, 2016; originally announced November 2016.

MSC Class: 20F19; 20F24

Division Rings with Ranks

Authors: Nadja Hempel, Daniel Palacín

Abstract: Any superrosy division ring (i.e. a division ring equipped with an abstract notion of rank) is shown to be centrally finite. Furthermore, division rings satisfying a generalized chain condition on definable subgroups are studied. In particular, a division ring of burden n has dimension at most n over its center, and any definable group of definable automorphisms of a field of burden n has size at… ▽ More Any superrosy division ring (i.e. a division ring equipped with an abstract notion of rank) is shown to be centrally finite. Furthermore, division rings satisfying a generalized chain condition on definable subgroups are studied. In particular, a division ring of burden n has dimension at most n over its center, and any definable group of definable automorphisms of a field of burden n has size at most n. Additionally, interpretable division rings in o-minimal structures are shown to be algebraically closed, real closed or the quaternions over a real closed field. △ Less

Submitted 13 May, 2016; originally announced May 2016.

Generalized amalgamation and homogeneity

Authors: Daniel Palacín

Abstract: In this paper we shall prove that any $2$-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary homogeneous structures to arbitrary ones without binary relations. Furthermore, we point out a relation between generalized amalgamation, triviality and quantifie… ▽ More In this paper we shall prove that any $2$-transitive finitely homogeneous structure with a supersimple theory satisfying a generalized amalgamation property is a random structure. In particular, this adapts a result of Koponen for binary homogeneous structures to arbitrary ones without binary relations. Furthermore, we point out a relation between generalized amalgamation, triviality and quantifier elimination in simple theories. △ Less

Submitted 18 October, 2016; v1 submitted 31 March, 2016; originally announced March 2016.

On definable Galois groups and the strong canonical base property

Authors: Daniel Palacín, Anand Pillay

Abstract: In \cite{HPP}, Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that $T$ has the canonical base property in a strong form, " internality to" being replaced by "algebraicity in". In the current paper we give a reasonably robust definition of the "strong canonical base property" in a rather more general finite rank context than… ▽ More In \cite{HPP}, Hrushovski and the authors proved, in a certain finite rank environment, that rigidity of definable Galois groups implies that $T$ has the canonical base property in a strong form, " internality to" being replaced by "algebraicity in". In the current paper we give a reasonably robust definition of the "strong canonical base property" in a rather more general finite rank context than \cite{HPP}, and prove its {\em equivalence} with rigidity of the relevant definable Galois groups. The new direction is an elaboration on the old result that $1$-based groups are rigid. △ Less

Submitted 13 January, 2016; originally announced January 2016.

On n-dependence

Authors: Artem Chernikov, Daniel Palacin, Kota Takeuchi

Abstract: In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < ω$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a… ▽ More In this note we develop and clarify some of the basic combinatorial properties of the new notion of $n$-dependence (for $1\leq n < ω$) recently introduced by Shelah. In the same way as dependence of a theory means its inability to encode a bipartite random graph with a definable edge relation, $n$-dependence corresponds to the inability to encode a random $(n+1)$-partite $(n+1)$-hypergraph with a definable edge relation. Most importantly, we characterize $n$-dependence by counting $\varphi$-types over finite sets (generalizing Sauer-Shelah lemma and answering a question of Shelah) and in terms of the collapse of random ordered $(n+1)$-hypergraph indiscernibles down to order-indiscernibles (which implies that the failure of $n$-dependence is always witnessed by a formula in a single free variable). △ Less

Submitted 31 May, 2024; v1 submitted 1 November, 2014; originally announced November 2014.

Comments: 22 pages; v.2: corrected a small issue in the published version of the paper, in the proof of (3) implies (2) of Theorem 5.4

Journal ref: Notre Dame J. Formal Logic, Volume 60, Number 2 (2019), 195-214

A Fitting Theorem for Simple Theories

Authors: Daniel Palacin, Frank Olaf Wagner

Abstract: The Fitting subgroup of a type-definable group in a simple theory is relatively definable and nilpotent. Moreover, the Fitting subgroup of a supersimple hyperdefinable group has a normal hyperdefinable nilpotent subgroup of bounded index, and is itself of bounded index in a hyperdefinable subgroup. The Fitting subgroup of a type-definable group in a simple theory is relatively definable and nilpotent. Moreover, the Fitting subgroup of a supersimple hyperdefinable group has a normal hyperdefinable nilpotent subgroup of bounded index, and is itself of bounded index in a hyperdefinable subgroup. △ Less

Submitted 30 September, 2015; v1 submitted 9 October, 2014; originally announced October 2014.

On Superstable Expansions of Free Abelian Groups

Authors: Daniel Palacin, Rizos Sklinos

Abstract: We prove that $(\Z,+,0)$ 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 $(\Z,+,0)$ equipped with the set of factorial elements. We prove that $(\Z,+,0)$ 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 $(\Z,+,0)$ equipped with the set of factorial elements. △ Less

Submitted 3 November, 2016; v1 submitted 3 May, 2014; originally announced May 2014.

MSC Class: 03C45

Journal ref: Notre Dame J. Formal Logic 59, no. 2 (2018), 157-169

Rigidity, internality and analysability

Authors: Daniel Palacin, Frank Olaf Wagner

Abstract: We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory. We prove a version of Hrushovski's socle lemma for rigid groups in an arbitrary simple theory. △ Less

Submitted 4 September, 2013; v1 submitted 29 November, 2012; originally announced November 2012.

On the canonical base property

Authors: Ehud Hrushovski, Daniel Palacin, Anand Pillay

Abstract: We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense). We give an example of a finite rank, in fact aleph-1 categorical theory where the CBP (canonical base property) does not hold. We include a "group-like" example. We also prove, in a finite Morley rank context, if all definable Galois groups are "rigid" then the theory has the CBP (in a strong sense). △ Less

Submitted 27 May, 2012; originally announced May 2012.

Comments: 15 pages

MSC Class: 03C45

Ample thoughts

Authors: Daniel Palacin, Frank Olaf Wagner

Abstract: Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property (CBP) for types of finite SU-rank. This is then applied to the special case of groups. Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property (CBP) for types of finite SU-rank. This is then applied to the special case of groups. △ Less

Submitted 28 September, 2012; v1 submitted 1 April, 2011; originally announced April 2011.

Journal ref: Journal of Symbolic Logic 78, 2 (2013) 489-510

On ω-categorical simple theories

Authors: Daniel Palacin

Abstract: In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable ω-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded finite weight are low. In the present paper we shall prove that countable ω-categorical simple CM-trivial theories and countable ω-categorical simple theories with strong stable forking are low. In addition, we observe that simple theories of bounded finite weight are low. △ Less

Submitted 3 November, 2011; v1 submitted 17 February, 2011; originally announced February 2011.

Elimination of Hyperimaginaries and Stable Independence in simple CM-trivial theories

Authors: Daniel Palacin, Frank Olaf Wagner

Abstract: In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable. In a simple CM-trivial theory every hyperimaginary is interbounded with a sequence of finitary hyperimaginaries. Moreover, such a theory eliminates hyperimaginaries whenever it eliminates finitary hyperimaginaries. In a supersimple CM-trivial theory, the independence relation is stable. △ Less

Submitted 19 March, 2012; v1 submitted 29 June, 2010; originally announced June 2010.

Journal ref: Notre Dame J. Formal Logic 54, nos. 3-4 (2013), 541-551