Related papers: UFL Dual Spaces, a proposal

In this paper, we deal with an elliptic problem with the Dirichlet boundary condition. We operate in Sobolev spaces and the main analytic tool we use is the Lax-Milgram lemma. First, we present the variational approach of the problem which…

We introduce the notion of almost finite dimensionality of algebras and study its connection with the classical finiteness conditions.

In this contribution, we aim to introduce and study L-fuzzy partition spaces and L-fuzzy closure system spaces in a categorical framework. Further, we present the concepts of coalgebras and dialgebras corresponding to a direct upper F…

We introduce categories of weak factorization algebras and factorization spaces, and prove that they are equivalent to the categories of ordinary factorization algebras and spaces, respectively. This allows us to define the pullback of a…

This thesis is intended to provide an account of the theory and applications of Operational Methods that allow the "translation" of the theory of special functions and polynomials into a "different" mathematical language. The language we…

From a logical point of view, Stone duality for Boolean algebras relates theories in classical propositional logic and their collections of models. The theories can be seen as presentations of Boolean algebras, and the collections of models…

Several infinite products are studied that satisfy the transformation relation of the type $f(\alpha)=f(1/\alpha)$. For certain values of the parameters these infinite products reduce to modular forms. Finite counterparts of these infinite…

We consider fragments of first-order logic and as models we allow finite and infinite words simultaneously. The only binary relations apart from equality are order comparison < and the successor predicate +1. We give characterizations of…

We introduce superequivalence and superuniform spaces.

We investigate the decidability of the definability problem for fragments of first order logic over finite words enriched with modular predicates. Our approach aims toward the most generic statements that we could achieve, which…

There exist two known canonical types of ultrafilter extensions of first-order models; one comes from modal logic and universal algebra, another one from model theory and algebra of ultrafilters, with ultrafilter extensions of semigroups as…

In the author's PhD thesis (2019) universal envelopes were introduced as a tool for studying the continuously obtainable information on discontinuous functions. To any function $f \colon X \to Y$ between $\operatorname{qcb}_0$-spaces one…

Motivated by the power of subregion/subregion duality for constraining the bulk geometry in gauge/gravity duality, we pursue a comprehensive and systematic approach to the behavior of extremal surfaces under perturbations. Specifically, we…

Many formal languages include binders as well as operators that satisfy equational axioms, such as commutativity. Here we consider the nominal language, a general formal framework which provides support for the representation of binders,…

We investigate the computational complexity of the problem of deciding if an algebra homomorphism can be factored through an intermediate algebra. Specifically, we fix an algebraic language, L, and take as input an algebra homomorphism f…

In this paper, we use a unified framework introduced in [3] to study two classes of nonconforming immersed finite element (IFE) spaces with integral value degrees of freedom. The shape functions on interface elements are piecewise…

Federated Learning (FL) enables distributed machine learning training while preserving privacy, representing a paradigm shift for data-sensitive and decentralized environments. Despite its rapid advancements, FL remains a complex and…

In this paper, we consider an equivalence problem of second order partially differential equations (PDE) and a duality of the flat differential equation. For the equivalence problem, explicit form of invariants (curvatures) are given. We…

We propose a novel logic, called Frame Logic (FL), that extends first-order logic (with recursive definitions) using a construct Sp(.) that captures the implicit supports of formulas -- the precise subset of the universe upon which their…

This is an expository book on unitary representations of topological groups, and of several dual spaces, which are spaces of such representations up to some equivalence. The most important notions are defined for topological groups, but a…