相关论文: Strongly almost disjoint sets and weakly uniform b…

Strong bisimulation for labelled transition systems is one of the most fundamental equivalences in process algebra, and has been generalised to numerous classes of systems that exhibit richer transition behaviour. Nearly all of the ensuing…

We initiate the study of pointed approximative absolute neighborhood retracts. Our motivation is to generate examples of C*-algebras that behave in unexpected ways with respect to weak semiprojectivity. We consider both weak…

A locally compact groupoid is said to have the weak containment property if its full $C^*$-algebra coincides with its reduced one. This property is strictly weaker than amenability and is known to be equivalent to amenability for…

We prove a general finite convergence theorem for "upward-guarded" fixpoint expressions over a well-quasi-ordered set. This has immediate applications in regular model checking of well-structured systems, where a main issue is the eventual…

In the past decade, sparse principal component analysis has emerged as an archetypal problem for illustrating statistical-computational tradeoffs. This trend has largely been driven by a line of research aiming to characterize the…

We present a new strictification method for type-theoretic structures that are only weakly stable under substitution. Given weakly stable structures over some model of type theory, we construct equivalent strictly stable structures by…

We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…

We study the lattice structure of the family of weakly compact subsets of the unit ball $B_X$ of a separable Banach space $X$, equipped with the inclusion relation (this structure is denoted by $\mathcal{K}(B_X)$) and also with the…

We recall some classical results relating normality and some natural weakenings of normality in $\Psi$-spaces over almost disjoint families of branches in the Cantor tree to special sets of reals like $Q$-sets, $\lambda$-sets and…

Low-degree polynomials have emerged as a powerful paradigm for providing evidence of statistical-computational gaps across a variety of high-dimensional statistical models [Wein25]. For detection problems -- where the goal is to test a…

In the realm of light logics deriving from linear logic, a number of variants of exponential rules have been investigated. The profusion of such proof systems induces the need for cut-elimination theorems for each logic, the proof of which…

We construct a `weak' version EM^w(K) of Lack & Street's 2-category of monads in a 2-category K, by replacing their compatibility constraint of 1-cells with the units of monads by an additional condition on the 2-cells. A relation between…

It is shown that if $S$ is a commuting family of weak$^{\ast }$ continuous nonexpansive mappings acting on a weak$^{\ast }$ compact convex subset $C$ of the dual Banach space $E$, then the set of common fixed points of $S$ is a nonempty…

An abstract characterization of weakly monotone $C^*$-algebras, namely the concrete $C^*$-algebras generated by creators and annihilators acting on the so-called weakly monotone Fock spaces, is given in terms of (quotient of) suitable…

Let $\Gamma$ be an abelian group and $g \geq h \geq 2$ be integers. A set $A \subset \Gamma$ is a $C_h[g]$-set if given any set $X \subset \Gamma$ with $|X| = k$, and any set $\{ k_1 , \dots , k_g \} \subset \Gamma$, at least one of the…

Good frames were suggested in [Sh:h] as the (bare-bones) parallel, in the context of AECs, to superstable (among elementary classes). Here we consider $(\mu,\lambda,\kappa)$-frames as candidates for being (in the context of AECs) the…

We prove collective versions of semi-duality theorems for sets of almost (limitedly, order) L-weakly compact operators.

A simple proof of (2n)-weak amenability of the triangular Banach algebra T= [(A A) (0 A)] is given where A is a unital C*-algebra.

A criterion is given for a type in a finite rank stable theory to be (almost) internal to a given nonmodular minimal type. The motivation comes from results of Campana which give criteria for compact complex analytic spaces to be algebraic…

We present a relatively simple description of binary, definable subsets of models of weakly quasi-o-minimal theories. In particular, we closely describe definable linear orders and prove a weak version of the monotonicity theorem. We also…