Showing 1–12 of 12 results for author: Casanovas, E

Endomorphisms of free Steiner quasigroups

Authors: Silvia Barbina, Enrique Casanovas

Abstract: A free Steiner quasigroup is a free object in the variety of Steiner quasigroups. Free Steiner quasigroups are characterised by the existence of a levelled construction that starts with a free base - that is, a set of elements none of which is a product of the others, and which generate the quasigroup. Then each element in a free Steiner quasigroup $M$ can be obtained as a term on the free base. W… ▽ More A free Steiner quasigroup is a free object in the variety of Steiner quasigroups. Free Steiner quasigroups are characterised by the existence of a levelled construction that starts with a free base - that is, a set of elements none of which is a product of the others, and which generate the quasigroup. Then each element in a free Steiner quasigroup $M$ can be obtained as a term on the free base. We characterise homomorphisms between substructures of a free Steiner quasigroup where one generator is replaced by a term in the original generators. The characterisation depends on certain synctactic properties of the term in question. △ Less

Submitted 24 February, 2025; v1 submitted 8 December, 2024; originally announced December 2024.

MSC Class: 03C05; 05B07

The elementary theory of free Steiner triple systems

Authors: Silvia Barbina, Enrique Casanovas

Abstract: Free Steiner triple systems (STS) are infinite structures that are naturally characterised by a universal property. We consider the class of free STSs from a model theoretic viewpoint. We show that free STSs on any number of generators are elementarily equivalent. We axiomatise their theory and show that it is stable. Free Steiner triple systems (STS) are infinite structures that are naturally characterised by a universal property. We consider the class of free STSs from a model theoretic viewpoint. We show that free STSs on any number of generators are elementarily equivalent. We axiomatise their theory and show that it is stable. △ Less

Submitted 12 June, 2025; v1 submitted 20 November, 2024; originally announced November 2024.

MSC Class: 03C15; 03C65; 05B07

An exposition of the compactness of $L(Q^\mathrm{cf})$

Authors: Enrique Casanovas, Martin Ziegler

Abstract: We give an exposition of the compactness of $L(Q^\mathrm{cf})$, for any set $C$ of regular cardinals. We give an exposition of the compactness of $L(Q^\mathrm{cf})$, for any set $C$ of regular cardinals. △ Less

Submitted 10 September, 2020; v1 submitted 1 March, 2019; originally announced March 2019.

Comments: Several typos have been corrected. The proof of Theorem 4.3 has been slightly extended and corrected. The article will appear in The Bulletin of Symbolic Logic

More on tree properties

Authors: Enrique Casanovas, Byunghan Kim

Abstract: Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion as it satisfies symmetry, transitivity, extension, local character, and type-amalgamation. Shelah also introduced SOP$_n$ ($n$-strong order property). Recently… ▽ More Tree properties are introduced by Shelah, and it is well-known that a theory has TP (the tree property) if and only if it has TP$_1$ or TP$_2$. In any simple theory (i.e., a theory not having TP), forking supplies a good independence notion as it satisfies symmetry, transitivity, extension, local character, and type-amalgamation. Shelah also introduced SOP$_n$ ($n$-strong order property). Recently it is proved that in any NSOP$_1$ theory (i.e. a theory not having SOP$_1$) holding nonforking existence, Kim-forking also satisfies all the mentioned independence properties except base monotonicity (one direction of transitivity). These results are the sources of motivation for this paper. Mainly, we produce type-counting criteria for SOP$_2$ (which is equivalent to TP$_1$) and SOP$_1$. In addition, we study relationships between TP$_2$ and Kim-forking, and obtain that a theory is supersimple iff there is no countably infinite Kim-forking chain. △ Less

Submitted 4 July, 2019; v1 submitted 24 February, 2019; originally announced February 2019.

Model theory of Steiner triple systems

Authors: Silvia Barbina, Enrique Casanovas

Abstract: A Steiner triple system is a set $S$ together with a collection $\mathcal{B}$ of subsets of $S$ of size 3 such that any two elements of $S$ belong to exactly one element of $\mathcal{B}$. It is well known that the class of finite Steiner triple systems has a Fraïssé limit $M_{\mathrm{F}}$. Here we show that the theory $T^\ast_\mathrm{Sq}$ of $M_{\mathrm{F}}$ is the model completion of the theory o… ▽ More A Steiner triple system is a set $S$ together with a collection $\mathcal{B}$ of subsets of $S$ of size 3 such that any two elements of $S$ belong to exactly one element of $\mathcal{B}$. It is well known that the class of finite Steiner triple systems has a Fraïssé limit $M_{\mathrm{F}}$. Here we show that the theory $T^\ast_\mathrm{Sq}$ of $M_{\mathrm{F}}$ is the model completion of the theory of Steiner triple systems. We also prove that $T^\ast_\mathrm{Sq}$ is not small and it has quantifier elimination, $\mathrm{TP}_2$, $\mathrm{NSOP}_1$, elimination of hyperimaginaries and weak elimination of imaginaries. △ Less

Submitted 5 November, 2019; v1 submitted 17 May, 2018; originally announced May 2018.

Journal ref: Journal of Mathematical Logic 20(2), 2020

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

Universal theories and compactly expandable models

Authors: Enrique Casanovas, Saharon Shelah

Abstract: Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality. Our aim is to solve a quite old question on the difference between expandability and compact expandability. Toward this, we further investigate the logic of countable cofinality. △ Less

Submitted 25 February, 2019; v1 submitted 7 May, 2017; originally announced May 2017.

Journal ref: J. symb. log. 84 (2019) 1215-1223

Orbits of subsets of the monster model and geometric theories

Authors: Enrique Casanovas, Luis Jaime Corredor

Abstract: Let $\mathbb{M}$ be the monster model of a complete first-order theory $T$. If $\mathbb{D}$ is a subset of $\mathbb{M}$, following D. Zambella we consider $e(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\equiv (\mathbb{M},\mathbb{D}^\prime)\}$ and $o(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\cong (\mathbb{M},\mathbb{D}^\prime)\}$. The general question we ask is when… ▽ More Let $\mathbb{M}$ be the monster model of a complete first-order theory $T$. If $\mathbb{D}$ is a subset of $\mathbb{M}$, following D. Zambella we consider $e(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\equiv (\mathbb{M},\mathbb{D}^\prime)\}$ and $o(\mathbb{D})=\{\mathbb{D}^\prime\mid (\mathbb{M},\mathbb{D})\cong (\mathbb{M},\mathbb{D}^\prime)\}$. The general question we ask is when $e(\mathbb{D})=o(\mathbb{D})$ ? The case where $\mathbb{D}$ is $A$-invariant for some small set $A$ is rather straightforward: it just mean that $\mathbb{D}$ is definable. We investigate the case where $\mathbb{D}$ is not invariant over any small subset. If T is geometric and $(\mathbb{M},\mathbb{D})$ is an $H$-structure (in the sense of A. Berenstein and E. Vassiliev) or a lovely pair, we get some answers. In the case of $SU$-rank one, $e(\mathbb{D})$ is always different from $o(\mathbb{D})$. In the o-minimal case, everything can happen, depending on the complexity of the definable closure. △ Less

Submitted 28 June, 2017; v1 submitted 7 February, 2017; originally announced February 2017.

Stable forking and imaginaries

Authors: Enrique Casanovas, Joris Potier

Abstract: We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking. We prove that a theory $T$ has stable forking if and only if $T^\mathrm{eq}$ has stable forking. △ Less

Submitted 10 August, 2015; originally announced August 2015.

Generic stability and stability

Authors: Hans Adler, Enrique Casanovas, Anand Pillay

Abstract: We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of $p^{(m)}$ for all $m$. We use the latter result to answer in full generality a question posed by Has… ▽ More We prove two results about generically stable types $p$ in arbitrary theories. The first, on existence of strong germs, generalizes results from D. Haskell, E. Hrushovski and D. Macpherson on stably dominated types. The second is an equivalence of forking and dividing, assuming generic stability of $p^{(m)}$ for all $m$. We use the latter result to answer in full generality a question posed by Hasson and Onshuus: If $p(x)\in S(B)$ is stable and does not fork over $A$ then $p\restriction A$ is stable. (They had solved some special cases.) △ Less

Submitted 22 October, 2012; originally announced October 2012.

Normal hyperimaginaries

Authors: Enrique Casanovas, Joris Potier

Abstract: We introduce the notion of normal hyperimaginary and we develop its basic theory. We present a new proof of Lascar-Pillay's theorem on bounded hyperimaginaries based on properties of normal hyperimaginaries. However, the use of Peter-Weyl's theorem on the structure of compact Hausdorff groups is not completely eliminated from the proof. In the second part, we show that all closed sets in Kim-Pilla… ▽ More We introduce the notion of normal hyperimaginary and we develop its basic theory. We present a new proof of Lascar-Pillay's theorem on bounded hyperimaginaries based on properties of normal hyperimaginaries. However, the use of Peter-Weyl's theorem on the structure of compact Hausdorff groups is not completely eliminated from the proof. In the second part, we show that all closed sets in Kim-Pillay spaces are equivalent to hyperimaginaries and we use this to introduce an approximation of $\varphi$-types for bounded hyperimaginaries. △ Less

Submitted 5 December, 2013; v1 submitted 9 December, 2011; originally announced December 2011.

On many-sorted $ω$-categorical theories

Authors: Enrique Casanovas, Rodrigo Peláez, Martin Ziegler

Abstract: We prove that every many-sorted $ω$-categorical theory is completely interpretable in a one-sorted $ω$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $ω$-categorical theories. We prove that every many-sorted $ω$-categorical theory is completely interpretable in a one-sorted $ω$-categorical theory. As an application, we give a short proof of the existence of non $G$--compact $ω$-categorical theories. △ Less

Submitted 18 March, 2011; v1 submitted 20 December, 2010; originally announced December 2010.

MSC Class: 03C35; 03C45