Related papers: Monadic ortholattices: completions and duality

We consider varieties generated by finite closure algebras whose canonical relations have two levels, and whose restriction to a level is an "extremal" relation, i.e. the identity or the universal relation. The corresponding logics have…

We consider a set of natural operations on languages, and prove that the orbit of any language L under the monoid generated by this set is finite and bounded, independently of L. This generalizes previous results about complement, Kleene…

In [6], Geroch, Kronheimer and Penrose introduced a way to attach ideal points to a spacetime M , defining the causal completion of M. They established that this is a topological space which is Hausdorff when M is globally hyperbolic. In…

Following Bezhanishvili & Vosmaer, we confirm a conjecture of Yde Venema by piecing together results from various authors. Specifically, we show that if $\mathbb{A}$ is a residually finite, finitely generated modal algebra such that…

The complemented subspace problem asks, in general, which closed subspaces $M$ of a Banach space $X$ are complemented; i.e. there exists a closed subspace $N$ of $X$ such that $X=M\oplus N$? This problem is in the heart of the theory of…

We describe an algorithm for computing the inner product between a holomorphic modular form and a unary theta function, in order to determine whether the form is orthogonal to unary theta functions without needing a basis of the entire…

Let $M$ be a complete Riemannian manifold. Suppose $M$ contains a bounded, concave, connected open set $U$ with $C^0$ boundary and $M\setminus U$ is connected. We assume that either the relative homotopy set $\pi_1(M,M\setminus U)=0$ or the…

For a Banach space $X$ its subset $Y\subseteq X$ is called overcomplete if $|Y|=dens(X)$ and $Z$ is linearly dense in $X$ for every $Z\subseteq Y$ with $|Z|=|Y|$. In the context of nonseparable Banach spaces this notion was introduced…

A space is called Dieudonn\'{e} complete if it is complete relative to the maximal uniform structure compatible with its topology. In this paper, we investigated when the function space $C(X,Y)$ of all continuous functions from a…

Let M be a simply-connected closed Poincare Duality complex of dimension n. Then M is obtained by attaching a cell of highest dimension to its (n-1)-skeleton M'. Conditions are given for when the skeletal inclusion i:M' --> M has the…

We present a method for numerical computation of conformal mappings from simply or doubly connected domains onto so-called canonical domains, which in our case are rectangles or annuli. The method is based on conjugate harmonic functions…

For $L \hookrightarrow X$ a Lagrangian embedding associated with a real homogeneous space, we construct the moduli space of stable holomorphic discs mapping to $(X,L)$ as an orbifold with corners equipped with a group action. Some essential…

We establish an analogue of Pontryagin duality for modules over compact discrete valuation rings $R$. Namely, we define the dual of a topological $R$ module to be its continuous $R$-module homomorphisms into $K/R$, the quotient module of…

An orthoset (also called an orthogonality space) is a set $X$ equipped with a symmetric and irreflexive binary relation $\perp$, called the orthogonality relation. In quantum physics, orthosets play a central role. In fact, a Hilbert space…

We study polynomial functors over locally cartesian closed categories. After setting up the basic theory, we show how polynomial functors assemble into a double category, in fact a framed bicategory. We show that the free monad on a…

In 2004, Ehrenfeucht, Harju, and Rozenberg showed that any graph on a vertex set $V$ can be obtained from a complete graph on $V$ via a sequence of the operations of complementation, switching edges and non-edges at a vertex, and local…

Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…

Let $\Lambda$ be a finite-dimensional associative algebra over a field. A semibrick pair is a finite set of $\Lambda$-modules for which certain Hom- and Ext-sets vanish. A semibrick pair is completable if it can be enlarged so that a…

Given $\{P_n \}$ a sequence of monic orthogonal polynomials, we analyze their linear combinations $\{Q_n \}$with constant coefficients and fixed length $k+1$. Necessary and sufficient conditions are given for the orthogonality of the monic…

The row (column) completion problem of polynomial matrices of given degree with prescribed eigenstructure has been studied in \cite{AmBaMaRo23}, where several results of prescription of some of the four types of invariants that form the…