Related papers: Does weak quasi-o-minimality behave better than we…

Ordered binary decision diagrams (OBDDs) are a fundamental data structure for the manipulation of Boolean functions, with strong applications to finite-state symbolic model checking. OBDDs allow for efficient algorithms using top-down…

In this paper we extend Korovkin's theorem to the context of sequences of weakly nonlinear and monotone operators defined on certain Banach function spaces. Several examples illustrating the theory are included.

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…

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…

The concept of a modular value of an observable of a pre- and post-selected quantum system is introduced. It is similar in form and in some cases has a close connection to the weak value of an observable, but instead of describing an…

We extend the theory of complex cells introduced by Binyamini and Novikov to the sharply o-minimal setting, obtaining cellular preparation and parameterization theorems which are polynomially effective in the degrees of the relevant sets.…

We define the class of weakly approximately divisible unital C*-algebras and show that this class is closed under direct sums, direct limits, any tensor product with any C*-algebra, and quotients. A nuclear C*-algebra is weakly…

This paper discusses the existence of a sufficient condition for an operator to be weakly hypercyclic. We establish a weak hypercyclicity criterion, and thereupon we can answer questions 5.3 and 5.8 posed by Chan and Sanders in 2004.…

This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…

This paper studies linear classes of planar quasiregular mappings. We give a positive answer to a conjecture of K. Astala, T. Iwaniec, and G. Martin (2009) on reduced Beltrami equations. Moreover, we use it to prove a Wronsky-type theorem…

We provide a finite basis for the (in)equational theory of the process algebra BCCS modulo the weak failures preorder and equivalence. We also give positive and negative results regarding the axiomatizability of BCCS modulo weak impossible…

We prove the definability, and actually the finiteness of the commutator width, of many commutator subgroups in groups definable in o-minimal structures. It applies in particular to derived series and to lower central series of solvable…

We shall develop a notion of amenability for dual Banach algebras, namely weak Connes amenability, which will play the role that weak amenability does for usual Banach algebras

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.

We prove that the two-variable fragment of first-order logic has the weak Beth definability property. This makes the two-variable fragment a natural logic separating the weak and the strong Beth properties since it does not have the strong…

We study non-linear functionals, including quasi-linear functionals, p-conic quasi-linear functionals, d-functionals, r-functionals, and their relationships to deficient topological measures and topological measures on locally compact…

We deal with the monadic (second-order) theory of order. We prove all known results in a unified way, show a general way of reduction, prove more results and show the limitation on extending them. We prove (CH) that the monadic theory of…

We introduce a notion of a weak elementary fibration and prove that it does exist in certain interesting cases. Our notion is a modification of the M. Artin's notion of an elementary fibration.

Let $A$ be a Banach algebra and $A^{**}$ be the second dual of it. We show that by some new conditions, $A$ is weakly amenable whenever $A^{**}$ is weakly amenable. We will study this problem under generalization, that is, if $(n+2)-th$…

We introduce a notion of weak convergence in arbitrary metric spaces. Metric functionals are key in our analysis: weak convergence of sequences in a given metric space is tested against all the metric functionals defined on said space. When…