Related papers: The $\omega$-th inner mantle

Relationships between a chaotic behavior and closely related properties of topological transitivity, sensitivity to initial conditions, density of closed orbits of homeomorphism groups and their countable products are investigated. We…

In Part I we construct the upper bound, in the spirit of $\Gamma$- $\limsup$, achieved by multidimensional profiles, for some general classes of singular perturbation problems, with or without the prescribed differential constraint, taking…

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

This note aims to clarify the interrelations of certain inequivalently defined Banach spaces denoted by C^i(\bar\Omega) for a natural number i and a bounded open set \Omega. We give some sufficient conditions for the equality of these…

In recent work of the authors the notion of a derivation being approximately semi-inner arose as a tool for investigating (approximate) amenability questions for Banach algebras. Here we investigate this property in its own right, together…

In this paper we relate triangulated category structures to the cohomology of small categories and define initial obstructions to the existence of an algebraic or topological enhancement. We show that these obstructions do not vanish in an…

We wish to understand how irreducible representations of a group G behave when restricted to a subgroup G' (the branching problem). Our primary concern is with representations of reductive Lie groups, which involve both algebraic and…

We consider the weakly first order phase transition between the isotropic and ordered phases of nematics in terms of the behavior of topological line defects. Analytical and Monte Carlo results are presented for a new coarse-grained lattice…

Let s(A) denote the number of automorphisms of a model A of power omega_1. We derive a necessary and sufficient condition in terms of trees for the existence of an A with omega_1 < s(A) < 2^{omega_1}. We study the sufficiency of some…

Branching processes in a varying environment encompass a wide range of stochastic demographic models, and their complete understanding in terms of limit behaviour poses a formidable research challenge. In this paper, we conduct a thorough…

In this paper, we study the near-boundary behavior of functions $u\in\mathcal{F}(\Omega)$ in the case where $\Omega$ is strictly pseudoconvex. We also introduce a sufficient condition for belonging to $\mathcal{F}$ in the case where…

There exists a family $\{B_{\alpha}\}_{\alpha<\omega_1}$ of sets of countable ordinals such that o $\max B_{\alpha}=\alpha$, o if $\alpha\in B_{\beta}$ then $B_{\alpha}\subseteq B_{\beta}$, o if $\lambda\leq \alpha$ and $\lambda$ is a limit…

Using the existence of certain symplectic submanifolds in symplectic 4-manifolds, we prove an estimate from above for the number of singular fibers with separating vanishing cycles in minimal Lefschetz fibrations over surfaces of positive…

We study the labelled growth rate of an $\omega$-categorical structure $\mathfrak{A}$, i.e., the number of orbits of $Aut(\mathfrak{A})$ on $n$-tuples of distinct elements, and show that the model-theoretic property of monadic stability…

We stratify intuitionistic first-order logic over $(\forall,\to)$ into fragments determined by the alternation of positive and negative occurrences of quantifiers (Mints hierarchy). We study the decidability and complexity of these…

We study first-order model checking, by which we refer to the problem of deciding whether or not a given first-order sentence is satisfied by a given finite structure. In particular, we aim to understand on which sets of sentences this…

Model theoretic internality provides conditions under which the group of automorphisms of a model over a reduct is itself a definable group. In this paper we formulate a categorical analogue of the condition of internality, and prove an…

We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…

We give the first lower bound on the $\scr C(K)$-distortion of the class of separable Banach spaces, for $K$ a countable compact in the family $\{ [0,\omega],[0,\omega\cdot2],\cdots, [0,\omega^2], \cdots, [0,\omega^k\cdot…

According to seminal work of Kontsevich, the unstable homology of the mapping class group of a surface can be computed via the homology of a certain lie algebra. In a recent paper, S. Morita analyzed the abelianization of this lie algebra,…