Search

In this article, we introduce the notion of pre-$(n+2)$-angulated categories as higher dimensional analogues of pre-triangulated categories defined by Beligiannis-Reiten. We first show that the idempotent completion of a pre-$(n+2)$-angulated category admits a unique structure of pre-$(n+2)$-angulated category. Let $(\mathscr{C},\mathbb{E},\mathfrak{s})$ be an $n$-exangulated category and $\mathscr{X}$ be a strongly functorially finite subcategory of $\mathscr{C}$. We then show that the quotient category $\mathscr{C}/\mathscr{X}$ is a pre-$(n+2)$-angulated category.These results allow to construct several examples of pre-$(n+2)$-angulated categories. Moreover, we also give a necessary and sufficient condition for the quotient $\mathscr{C}/\mathscr{X}$ to be an $(n+2)$-angulated category., 20 pages. arXiv admin note: text overlap with arXiv:2108.07985, arXiv:2006.02223

In this paper, we show that circular $(s,t)$-Furstenberg sets in $\mathbb R^2$ have Hausdorff dimension at least $$\max\{\frac{t}3+s,(2t+1)s-t\} \text{ for all $0, Comment: 27 pages, 9 figures; incorporated referee's comments, results unchanged

We prove that every finite Borel measure $\mu$ in $\mathbb{R}^N$ that is bounded from above by the Hausdorff measure $\mathcal{H}^s$ can be split in countable many parts $\mu\lfloor_{E_k}$ that are bounded from above by the Hausdorff content $\mathcal{H}_\infty^s$. Such a result generalises a theorem due to R. Delaware that says that any Borel set with finite Hausdorff measure can be decomposed as a countable disjoint union of straight sets. We apply this decomposition to show the existence of solutions of a Dirichlet problem involving an exponential nonlinearity., Comment: Added application to solution of semilinear PDE involving exponential

A $$\sigma $$ σ -ideal $$\mathcal {I}$$ I on a Polish group $$(X,+)$$ ( X , + ) has the Smital Property if for every dense set D and a Borel $$\mathcal {I}$$ I -positive set B the algebraic sum $$D+B$$ D + B is a complement of a set from $$\mathcal {I}$$ I . We consider several variants of this property and study their connections with the countable chain condition, maximality and how well they are preserved via Fubini products. In particular we show that there are $$\mathfrak {c}$$ c many maximal invariant $$\sigma $$ σ -ideals with Borel bases on the Cantor space $$2^\omega $$ 2 ω .

The aim of this work is to investigate the behavior of equidivisibility under coproduct in the category of pro-$\mathsf{V}$ semigroups, where $\mathsf{V}$ is a pseudovariety of finite semigroups. Exploring the relationship with the two-sided Karnofsky--Rhodes expansion, the notions of KR-cover and strong KR-cover for profinite semigroups are introduced. The former is stronger than equidivisibility and the latter provides a characterization of equidivisible profinite semigroups with an extra mild condition, so-called letter super-cancellativity. Furthermore, under the assumption that $\mathsf{V}$ is closed under two-sided Karnofsky--Rhodes expansion, closure of some classes of equidivisible pro-$\mathsf{V}$ semigroups under(finite) $\mathsf{V}$-coproduct is established.

We study the algorithmic content of Pontryagin - van Kampen duality. We prove that the dualization is computable in the important cases of compact and locally compact totally disconnected Polish abelian groups. The applications of our main results include solutions to questions of Kihara and Ng about presentations of connected Polish spaces, and an unexpected arithmetical characterisation of direct products of solenoid groups among all Polish groups.

Let $a\in \mathbb{Z}$ and $\rho$ be a root of $f_a(x)=x^3-ax^2-(a+3)x-1$, then the number field $K_a=\mathbb{Q}(\rho)$ is called a simplest cubic field. In this paper we consider the family of unit equations $u_1+u_2=n$ where $u_1,u_2\in \mathbb{Z}[\rho]^*$ and $n\in \mathbb{Z}$. We completely solve the unit equations under the restriction $|n|\leq \max\{1,|a|^{1/3}\}$.

In this paper, we characterize the possible cofinalities of the least $��$-strongly compact cardinal. We show that, on the one hand, for any regular cardinal, $��$, that carries a $��$-complete uniform ultrafilter, it is consistent, relative to the existence of a supercompact cardinal above $��$, that the least $��$-strongly compact cardinal has cofinality $��$. On the other hand, provably the cofinality of the least $��$-strongly compact cardinal always carries a $��$-complete uniform ultrafilter., 15 pages

We investigate iterating the construction of $C^{*}$ , the L-like inner model constructed using first order logic augmented with the “cofinality $\omega $ ” quantifier. We first show that $\left (C^{*}\right )^{C^{*}}=C^{*}\ne L$ is equiconsistent with $\mathrm {ZFC}$ , as well as having finite strictly decreasing sequences of iterated $C^{*}$ s. We then show that in models of the form $L[U]$ we get infinite decreasing sequences of length $\omega $ , and that an inner model with a measurable cardinal is required for that.

Given a completely metrizable space $X$, let $\mathfrak{par}(X)$ denote the smallest possible size of a partition of $X$ into Polish spaces, and $\mathfrak{cov}(X)$ the smallest possible size of a covering of $X$ with Polish spaces. Observe that $\mathfrak{cov}(X) \leq \mathfrak{par}(X)$ for every $X$, because every partition of $X$ is also a covering. We prove it is consistent relative to a huge cardinal that the strict inequality $\mathfrak{cov}(X) < \mathfrak{par}(X)$ can hold for some completely metrizable space $X$. We also prove that using large cardinals is necessary for obtaining this strict inequality, because if $\mathfrak{cov}(X) < \mathfrak{par}(X)$ for any completely metrizable $X$, then $0^\dagger$ exists.

We study various combinatorial properties, and the implications between them, for filters generated by infinite-dimensional subspaces of a countable vector space. These properties are analogous to selectivity for ultrafilters on the natural numbers and stability for ordered-union ultrafilters on $\mathrm{FIN}$., 17 pages, 2 figures. Submitted

Span categories provide an abstract framework for formalizing mathematical models of certain systems. The mathematical descriptions of some systems, such as classical mechanical systems, require categories that do not have pullbacks, and this limits the utility of span categories as a formal framework. Given categories $\mathscr{C}$ and $\mathscr{C}^\prime$ and a functor $\mathcal F$ from $\mathscr{C}$ to $\mathscr{C}^\prime$, we introduce the notion of an $\mathcal F$ pullback of a cospan in $\mathscr{C}$, as well as the notion of span tightness of $\mathcal F$. If $\mathcal F$ is span tight, then we can form a generalized span category ${\rm Span}(\mathscr{C},\mathcal F)$ and circumvent the technical difficulty of $\mathscr{C}$ failing to have pullbacks. Composition in ${\rm Span}(\mathscr{C},\mathcal F)$ uses $\mathcal F$-pullbacks rather than pullbacks and in this way differs from the category ${\rm Span}(\mathscr{C})$, but reduces to it when both $\mathscr{C}$ has pullbacks and $\mathcal F$ is the identity functor., 21 pages, 14 figures

In the Zermelo--Fraenkel set theory with the Axiom of Choice a forcing notion is "$\kappa$-distributive" if and only if it is "$\kappa$-sequential". We show that without the Axiom of Choice this equivalence fails, even if we include a weak form of the Axiom of Choice, the Principle of Dependent Choice for $\kappa$. Still, the equivalence may still hold along with very strong failures of the Axiom of Choice, assuming the consistency of large cardinal axioms. We also prove that while a $\kappa$-distributive forcing notion may violate Dependent Choice, it must preserve the Axiom of Choice for families of size $\kappa$. On the other hand, a $\kappa$-sequential can violate the Axiom of Choice for countable families. We also provide a condition of "quasiproperness" which is sufficient for the preservation of Dependent Choice, and is also necessary if the forcing notion is sequential., Comment: 12 pages; accepted version

We analyze the axiomatic strength of the following theorem due to Rival and Sands [28] in the style of reverse mathematics. Every infinite partial order P of finite width contains an infinite chain C such that every element of P is either comparable with no element of C or with infinitely many elements of C. Our main results are the following. The Rival–Sands theorem for infinite partial orders of arbitrary finite width is equivalent to $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ over $\mathsf {RCA}_0$ . For each fixed $k \geq 3$ , the Rival–Sands theorem for infinite partial orders of width $\leq \!k$ is equivalent to $\mathsf {ADS}$ over $\mathsf {RCA}_0$ . The Rival–Sands theorem for infinite partial orders that are decomposable into the union of two chains is equivalent to $\mathsf {SADS}$ over $\mathsf {RCA}_0$ . Here $\mathsf {RCA}_0$ denotes the recursive comprehension axiomatic system, $\mathsf {I}\Sigma ^0_{2}$ denotes the $\Sigma ^0_2$ induction scheme, $\mathsf {ADS}$ denotes the ascending/descending sequence principle, and $\mathsf {SADS}$ denotes the stable ascending/descending sequence principle. To the best of our knowledge, these versions of the Rival–Sands theorem for partial orders are the first examples of theorems from the general mathematics literature whose strength is exactly characterized by $\mathsf {I}\Sigma ^0_{2} + \mathsf {ADS}$ , by $\mathsf {ADS}$ , and by $\mathsf {SADS}$ . Furthermore, we give a new purely combinatorial result by extending the Rival–Sands theorem to infinite partial orders that do not have infinite antichains, and we show that this extension is equivalent to arithmetical comprehension over $\mathsf {RCA}_0$ .

We force the existence of a non-trivial κ \kappa -complete ultrafilter over κ \kappa which fails to satisfy the Galvin property. This answers a question asked by Benhamou and Gitik [Ann. Pure Appl. Logic 173 (2022), Paper No. 103107].

Let $R$ be a ring equipped with a proper norm. We show that under suitable conditions on $R$, there is a natural basis under continuous linear injection for the set of Polish $R$-modules which are not countably generated. When $R$ is a division ring, this basis can be taken to be a singleton., Comment: 13 pages; final version for journal

We show in ZF that: (i) Every subcompact metrizable space is completely metrizable, and every completely metrizable space is countably subcompact. (ii) A metrizable space X=(X,T) is countably compact iff it is countably subcompact relative to T. (iii) For every metric space X=(X,d), X is compact iff it is subcompact relative to T. We also show: (iv) The negation of each of the statements, (a) every countably subcompact metrizable space is completely metrizable, (b) every countably subcompact metrizable space is subcompact, (c) every complete metrizable space is subcompact is relatively consistent with ZF.

We advance the program of connections between final coalgebras as sources of circularity in mathematics and fractal sets of real numbers. In particular, we are interested in the Sierpinski carpet, taking it as a fractal subset of the unit square. We construct a category of square sets and an endofunctor on it which corresponds to the operation of gluing copies of a square set along segments. We show that the initial algebra and final coalgebra exist for our functor, and that the final coalgebra is bi-Lipschitz equivalent to the Sierpinski carpet. Along the way, we make connections to topics such as the iterative construction of initial algebras as colimits, corecursive algebras, and the classic treatment of fractal sets due to Hutchinson., In Proceedings ACT 2021, arXiv:2211.01102

The Central Sets Theorem was introduced by H. Furstenberg and then afterwards several mathematicians have provided various versions and extensions of this theorem. All of these theorems deal with central sets, and its origin from the algebra of Stone-Cech compactification of arbitrary semigroup, say $\beta S$. It can be proved that every closed subsemigroup of $\beta S$ is generated by a filter. We will show that, under some restrictions, one can derive the Central Sets Theorem for any closed subsemigroup of $\beta S$ . We will derive this theorem using the corresponding filter and its algebra. Later we will also deal with how the notions of largeness along filters are preserved under some well behaved homomorphisms and give some consequences.

We give a model-theoretic treatment of the fundamental results of Kechris-Pestov-Todorčević theory in the more general context of automorphism groups of not necessarily countable structures. One of the main points is a description of the universal ambit as a certain space of types in an expanded language. Using this, we recover results of Kechris et al. (Funct Anal 15:106–189, 2005), Moore (Fund Math 220:263–280, 2013), Ngyuen Van Thé (Fund Math 222: 19–47, 2013), in the context of automorphism groups of not necessarily countable structures, as well as Zucker (Trans Am Math Soc 368, 6715–6740, 2016).

We study the complexity of the classification problem of conjugacy on dynamical systems on some compact metrizable spaces. Especially we prove that the conjugacy equivalence relation of interval dynamical systems is Borel bireducible to isomorphism equivalence relation of countable graphs. This solves a special case of Hjorth’s conjecture which states that every orbit equivalence relation induced by a continuous action of the group of all homeomorphisms of the closed unit interval is classifiable by countable structures. We also prove that conjugacy equivalence relation of Hilbert cube homeomorphisms is Borel bireducible to the universal orbit equivalence relation.

Due to many applications, the Choquet integral as a powerful tool for modeling non-deterministic problems needs to be further extended. Therefore the paper is devoted to a generalization of the Choquet integral. As a basis, the pseudo-integral for bounded integrand is extended to the case for nonnegative integrands at first, and then the generalized Choquet integral is defined. As special cases, pseudo-Choquet Stieltjes integrals, pseudo-fuzzy Stieltjes integrals, g-Choquet integrals, pseudo-(N)fuzzy integrals and pseudo-(S)fuzzy integrals are obtained, and various kinds of properties and convergence theorems are shown, meanwhile Markov, Jensen, Minkowski and Holder inequalities are proved. In the end, the generalized discrete Choquet integral is discussed. The obtained results for the generalized Choquet integral cover some previous results on different types of nonadditive integrals.

In this paper we determine the automorphism groups of the profinite braid groups with four or more strings in terms of the profinite Grothendieck-Teichm\"uller group.

The notion of a subnexus based on ${\mathcal{N}}$-function (briefly, ${\mathcal{N}}$-subnexus) is introduced, and related properties are investigated. Also, the notions of ${\mathcal{N}}$-subnexus of type $(\alpha, \beta)$, where $(\alpha, \beta)$ is $(\in, \in)$, $(\in, q)$, $(\in, \in\! \vee \, {q})$, $(q, \in)$, $(q,q)$, $(q, \in\! \vee \, {q})$, $(\overline{\in}, \overline{\in})$ and $(\overline{\in}, \overline{\in} \vee \overline{q})$, are introduced, and their basic properties are investigated. Conditions for an ${\mathcal{N}}$-structure to be an ${\mathcal{N}}$-subnexus of type $(q, \in\! \vee \, {q})$ are given, and characterizations of ${\mathcal{N}}$-subnexus of type $(\in, \in\! \vee \, {q})$ and $(\overline{\in}, \overline{\in} \vee \overline{q})$ are provided. Homomorphic image and preimage of ${\mathcal{N}}$-subnexus are discussed.

We derive upper and lower bounds for the Assouad and lower dimensions of self-affine measures in $\mathbb{R}^d$ generated by diagonal matrices and satisfying suitable separation conditions. The upper and lower bounds always coincide for $d=2,3$ yielding precise explicit formulae for the dimensions. Moreover, there are easy to check conditions guaranteeing that the bounds coincide for $d \geq 4$. An interesting consequence of our results is that there can be a `dimension gap' for such self-affine constructions, even in the plane. That is, we show that for some self-affine carpets of `Bara\'nski type' the Assouad dimension of all associated self-affine measures strictly exceeds the Assouad dimension of the carpet by some fixed $\delta>0$ depending only on the carpet. We also provide examples of self-affine carpets of `Bara\'nski type' where there is no dimension gap and in fact the Assouad dimension of the carpet is equal to the Assouad dimension of a carefully chosen self-affine measure., Comment: v2: accepted version, to appear in ETDS, small changes to presentation, 22 pages, 1 figure

Let $\mathsf{T}$ be a triangulated category with shift functor $\Sigma \colon \mathsf{T} \to \mathsf{T}$. Suppose $(\mathsf{A},\mathsf{B})$ is a co-t-structure with coheart $\mathsf{S} = \Sigma \mathsf{A} \cap \mathsf{B}$ and extended coheart $\mathsf{C} = \Sigma^2 \mathsf{A} \cap \mathsf{B} = \mathsf{S} * \Sigma \mathsf{S}$, which is an extriangulated category. We show that there is a bijection between co-t-structures $(\mathsf{A}',\mathsf{B}')$ in $\mathsf{T}$ such that $\mathsf{A} \subseteq \mathsf{A}' \subseteq \Sigma \mathsf{A}$ and complete cotorsion pairs in the extended coheart $\mathsf{C}$. In the case that $\mathsf{T}$ is Hom-finite, $\mathbf{k}$-linear and Krull-Schmidt, we show further that there is a bijection between complete cotorsion pairs in $\mathsf{C}$ and functorially finite torsion pairs in $\mathsf{mod}\, \mathsf{S}$., Comment: 15 pages, 2 figures

We study abstract group actions of locally compact Hausdorff groups on CAT(0) spaces. Under mild assumptions on the action we show that it is continuous or has a global fixed point. This mirrors results by Dudley and Morris-Nickolas for actions on trees. As a consequence we obtain a geometric proof for the fact that any abstract group homomorphism from a locally compact Hausdorff group into a torsion free CAT(0) group is continuous., Comment: Comments are welcome

In this paper we provide a Stone style duality for monotone semilattices by using the topological duality developed in \cite{Celani2020} for semilattices together with a topological description of their canonical extension. As an application of this duality we obtain a characterization of the congruences of monotone semilattices by means of monotone lower-Vietoris-type topologies.

Chain conditions are one of the major tools used in the theory of forcing. We say that a partial order has the countable chain condition if every antichain (in the sense of forcing) is countable. Without the axiom of choice antichains tend to be of little use, for various reasons, and in this short note we study a number of conditions which in ZFC are equivalent to the countable chain condition., Comment: 15 pages; removed problematic proof and added new results

We introduce the notion of an introverted Boolean algebra $\cal B$ of closed-and-open subsets of a topological group $G$, show that the associated Stone space $(\nu_{\cal B} G, \nu_{\cal B})$ is a totally disconnected semigroup compactification of $G$, and show that every totally disconnected semigroup compactification of $G$ takes this form. We identify and study the universal totally disconnected semigroup compactification, the universal totally disconnected semitopological semigroup compactification and the universal totally disconnected group compactification of $G$. Our main results are obtained independently of Gelfand theory and well-known properties of the (typically non-totally disconnected) universal compactifications $G^{LUC}$, $G^{WAP}$ and $G^{AP}$, though we do employ Gelfand theory to clarify the relationship between these familiar universal compactifications and their totally disconnected counterparts., Comment: 24 pages, to be published in the Quarterly Journal of Mathematics

Eremenko and Lyubich proved that an entire function whose set of singular values is bounded is expanding at points where its image has large modulus. These expansion properties have been at the centre of the subsequent study of this class of functions, now called the Eremenko-Lyubich class. We improve the estimate of Eremenko and Lyubich, and show that the new estimate is asymptotically optimal. As a corollary, we obtain an elementary proof that functions in the Eremenko-Lyubich class have lower order at least $1/2$., 5 pages. V2: Author accepted manuscript; minor corrections from V1. To appear in Bull. London Math. Soc

We prove lifting theorems for completely positive maps going out of exact $C^\ast$-algebras, where we remain in control of which ideals are mapped into which. A consequence is, that if $\mathsf X$ is a second countable topological space, $\mathfrak A$ and $\mathfrak B$ are separable, nuclear $C^\ast$-algebras over $\mathsf X$, and the action of $\mathsf X$ on $\mathfrak A$ is continuous, then $E(\mathsf X; \mathfrak A, \mathfrak B) \cong KK(\mathsf X; \mathfrak A, \mathfrak B)$ naturally. As an application, we show that a separable, nuclear, strongly purely infinite $C^\ast$-algebra $\mathfrak A$ absorbs a strongly self-absorbing $C^\ast$-algebra $\mathscr D$ if and only if $\mathfrak I$ and $\mathfrak I\otimes \mathscr D$ are $KK$-equivalent for every two-sided, closed ideal $\mathfrak I$ in $\mathfrak A$. In particular, if $\mathfrak A$ is separable, nuclear, and strongly purely infinite, then $\mathfrak A \otimes \mathcal O_2 \cong \mathfrak A$ if and only if every two-sided, closed ideal in $\mathfrak A$ is $KK$-equivalent to zero., 27 pages. V4: Accepted version (to appear in J. Noncommut. Geom.). V3: Major revision has been made, as a result upon which the earlier versions were based, has been found to contain an error. This has not affected the main results. Certain other parts have been significantly changed to improve readability. Also, new applications have been included

For a topological space $X$, let $CL(X)$ be the set of all non-empty closed subset of $X$, and denote the set $CL(X)$ with the Vietoris topology by $(CL(X), \mathbb{V})$. In this paper, we mainly discuss the hyperspace $(CL(X), \mathbb{V})$ when $X$ is an infinite countable discrete space. As an application, we first prove that the hyperspace with the Vietoris topology on an infinite countable discrete space contains a closed copy of $n$-th power of Sorgenfrey line for each $n\in\mathbb{N}$. Then we investigate the tightness of the hyperspace $(CL(X), \mathbb{V})$, and prove that the tightness of $(CL(X), \mathbb{V})$ is equal to the set-tightness of $X$. Moreover, we extend some results about the generalized metric properties on the hyperspace $(CL(X), \mathbb{V})$. Finally, we give a characterization of $X$ such that $(CL(X), \mathbb{V})$ is a $\gamma$-space., Comment: 17pages

First, we present construction methods for interior operators on a meet semilattice. Second, under the assumption that the underlying meet semilattices constitute the range of an interior operator, we prove an ordinal sum theorem for countably many (finite or countably infinite) triangular norms on bounded meet semilattices, which unifies and generalizes two recent results: one by Dvořak and Holcapek and the other by some of the present authors. We also characterize triangular norms that are representable as the ordinal sum of countably many triangular norms on given bounded meet semilattices.

We study the complexity of isomorphism of classes of metric structures using methods from infinitary continuous logic. For Borel classes of locally compact structures, we prove that if the equivalence relation of isomorphism is potentially $\mathbf{\Sigma}^0_2$, then it is essentially countable. We also provide an equivalent model-theoretic condition that is easy to check in practice. This theorem is a common generalization of a result of Hjorth about pseudo-connected metric spaces and a result of Hjorth--Kechris about discrete structures. As a different application, we also give a new proof of Kechris's theorem that orbit equivalence relations of actions of Polish locally compact groups are essentially countable., Comment: 24 pages

We show that if $\mathcal{T}$ is any Hausdorff topology on ${\omega}_{1}$, then any subset of ${\omega}_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which $\bar{\rho}$ is shift-increasing., Comment: 7 Pages, submitted

Starting from a model with a Laver-indestructible supercompact cardinal $\kappa$, we construct a model of $ZF+DC_{\kappa}$ where there are no $\kappa$-mad families.

We continue our study of maps transforming high-dimensional complicated objects into squares of stationary sets. Previously, we proved that many such transformations exist in ZFC, and here we address the consistency of the strongest conceivable transformations. Along the way, we obtain new results on Shelah's coloring principle $Pr_1$. For $\kappa$ inaccessible, we prove the consistency of $Pr_1(\kappa,\kappa,\kappa,\kappa)$. For successors of regulars, we obtain a full lifting of Galvin's 1980 theorem. In contrast, the full lifting of Galvin's theorem to successors of singulars is shown to be inconsistent., Comment: For the latest updates on this article, visit http://p.assafrinot.com/45

The classical Ramsey theorem was generalized in two major ways: to the dual Ramsey theorem, by Graham and Rothschild, and to Ramsey theorems for trees, initially by Deuber and Leeb. Bringing these two lines of thought together, we prove the dual Ramsey theorem for trees. Galois connections between partial orders are used in formulating this theorem, while the abstract approach to Ramsey theory, we developed earlier, is used in its proof.

Stone space partitions $\{X_{p}\mid p\in P\}$ satisfying conditions like $\bar{X_{p}}=\bigcup_{q\leqslant p}X_{q}$ for all $p\in P$, where $P$ is a poset or PO system (poset with a distinguished subset), arise naturally in the study both of primitive Boolean algebras and of $\omega$-categorical structures. A key concept for studying such partitions is that of a $p$-trim open set which meets precisely those $X_{q}$ for which $q\geqslant p$; for Stone spaces, this is the topological equivalent of a pseudo-indecomposable set. This paper develops the theory of infinite partitions of Stone spaces indexed by a poset or PO system where the trim sets form a neighbourhood base for the topology. We study the interplay between order properties of the poset/PO system and topological properties of the partition, examine extensions and completions of such partitions, and derive necessary and sufficient conditions on the poset/PO system for the existence of the various types of partition studied. We also identify circumstances in which a second countable Stone space with a trim partition indexed by a given PO system is unique up to homeomorphism, subject to choices on the isolated point structure and boundedness of the partition elements. One corollary of our results is that there is a partition $\{X_{r}\mid r\in[0,1]\}$ of the Cantor set such that $\bar{X_{r}}=\bigcup_{s\leqslant r}X_{s}\text{ for all }r\in[0,1]$., Comment: 41 pages

We introduce the notion of groupoid pre-equivalences and prove that they give rise to groupoid equivalences by taking certain quotients. Then, given an equivalence of Fell bundles $\mathscr{B}$ and $\mathscr{C}$ and another equivalence between $\mathscr{C}$ and $\mathscr{D}$, we construct an equivalence between $\mathscr{B}$ and $\mathscr{D}$ out of the tensor product bundle. As a consequence, we obtain that Fell bundle equivalence is indeed an equivalence relation., Comment: 42 pages

We discuss the dynamics beyond topological hyperbolicity considering homeomorphisms satisfying the shadowing property and generalizations of expansivity. It is proved that transitive countably expansive homeomorphisms satisfying the shadowing property are expansive in the set of transitive points. This is in contrast with pseudo-Anosov diffeomorphisms of the two-dimensional sphere that are transitive, cw-expansive, satisfy the shadowing property but the dynamical ball in each transitive point contains a Cantor subset. We exhibit examples of countably expansive homeomorphisms that are not finite expansive, satisfy the shadowing property and admits an infinite number of chain-recurrent classes. We further explore the relation between countable and entropy expansivity and prove that for surface homeomorphisms f : S → S f\colon S\to S satisfying the shadowing property and Ω ( f ) = S \Omega (f)=S , both countably expansive and entropy cw-expansive are equivalent to being topologically conjugate to an Anosov diffeomorphism.

We introduce a notion of density point and prove results analogous to Lebesgue's density theorem for various well-known ideals on Cantor space and Baire space. In fact, we isolate a class of ideals for which our results hold. In contrast to these results, we show that there is no reasonably definable selector that chooses representatives for the equivalence relation on the Borel sets of having countable symmetric difference. In other words, there is no notion of density which makes the ideal of countable sets satisfy an analogue to the density theorem. The proofs of the positive results use only elementary combinatorics of trees, while the negative results rely on forcing arguments., 29 pages; improved proof of 5.5

Given an irreducible bivariate polynomial $f(t,x)\in \mathbb{Q}[t,x]$, what groups $H$ appear as the Galois group of $f(t_0,x)$ for infinitely many $t_0\in \mathbb{Q}$? How often does a group $H$ as above appear as the Galois group of $f(t_0,x)$, $t_0\in \mathbb{Q}$? We give an answer for $f$ of large $x$-degree with alternating or symmetric Galois group over $\mathbb{Q}(t)$. This is done by determining the low genus subcovers of coverings $\tilde{X}\rightarrow \mathbb{P}^1_{\mathbb{C}}$ with alternating or symmetric monodromy groups.

The extent $e(X)$ of a topological space $X$ is the supremum of sizes of closed discrete subspaces of $X$. Assuming that $X$ belongs to some class of topological spaces, we bound $e(X)$ byother cardinal characteristics of $X$, for instance Lindel\"of number, spread or density.

The study's primary purpose is to investigate the $\mathscr{A}/\mathscr{T}$ structure of a quotient ring, where $\mathscr{A}$ is an arbitrary ring and $\mathscr{T}$ is a semi-prime ideal of $\mathscr{A}$. In more details, we look at the differential identities in a semi-prime ideal of an arbitrary ring using $\mathscr{T}$-commuting generalized derivation. The article proves a number of statements. A characteristic representative of these assertions is, for example, the following Theorem 3: Let $\mathscr{A}$ be a ring with $\mathscr{T}$ a semi-prime ideal and $\mathscr{I}$ an ideal of $\mathscr{A}.$ If $(\lambda, \psi)$ is a non-zero generalized derivation of $\mathscr{A}$ and the derivation satisfies any one of the conditions:\1)\ $\lambda([a, b])\pm[a, \psi(b)]\in \mathscr{T}$,\ 2) $\lambda(a\circ b)\pm a\circ \psi(b)\in \mathscr{T}$,$\forall$ $a, b\in \mathscr{I},$ then $\psi$ is $\mathscr{T}$-commuting on $\mathscr{I}.$ Furthermore, examples are provided to demonstrate that the constraints placed on the hypothesis of the various theorems were not unnecessary.

We prove that the meandering set for $f_a(z)=e^z+a$ is homeomorphic to the space of irrational numbers whenever $a$ belongs to the Fatou set of $f_a$. This extends recent results by Vasiliki Evdoridou and Lasse Rempe. It implies that the radial Julia set of $f_a$ has topological dimension zero for all attracting and parabolic parameters, including all $a\in (-\infty,-1]$. Similar results are obtained for Fatou's function $f(z)=z+1+e^{-z}$., 9 pages, submitted to CMFT

We introduce natural strengthenings of sequential compactness called the $r$-Ramsey property for each natural number $r\geq 1$. We prove that metrizable compact spaces are $r$-Ramsey for all $r$ and give examples of compact spaces that are $r$-Ramsey but not $r+1$-Ramsey for each $r\geq 1$ (assuming CH for all $r>1$, 10 pages

The Hausdorff $\delta$-dimension game was introduced by Das, Fishman, Simmons and {Urba{\'n}ski} and shown to characterize sets in $\mathbb{R}^d$ having Hausdorff dimension $\leq \delta$. We introduce a variation of this game which also characterizes Hausdorff dimension and for which we are able to prove an unfolding result similar to the basic unfolding property for the Banach-Mazur game for category. We use this to derive a number of consequences for Hausdorff dimension. We show that under $\mathsf{AD}$ any wellordered union of sets each of which has Hausdorff dimension $\leq \delta$ has dimension $\leq \delta$. We establish a continuous uniformization result for Hausdorff dimension. The unfolded game also provides a new proof that every $\boldsymbol{\Sigma}^1_1$ set of Hausdorff dimension $\geq \delta$ contains a compact subset of dimension $\geq \delta'$ for any $\delta'

We investigate possible cardinalities of maximal antichains in the poset of copies $\langle \mathbb P(\mathbb X),\subset \rangle$ of a countable ultrahomogeneous relational structure $\mathbb X$. It turns out that if the age of $\mathbb X$ has the strong amalgamation property, then, defining a copy of $\mathbb X$ to be large iff it has infinite intersection with each orbit of $\mathbb X$, the structure $\mathbb X$ can be partitioned into countably many large copies, there are almost disjoint families of large copies of size continuum and, hence, there are (maximal) antichains of size continuum in the poset $\mathbb P (\mathbb X)$. Finally, we show that the posets of copies of all countable ultrahomogeneous partial orders contain maximal antichains of cardinality continuum and determine which of them contain countable maximal antichains. That holds, in particular, for the random (universal ultrahomogeneous) poset., Comment: 13 pages, 1 figure