Related papers: Lattices, interpolation, and set theory
We discuss the problems of incompleteness and inexpressibility. We introduce almost self-referential formulas, use them to extend set theory, and relate their expressive power to that of infinitary logic. We discuss the nature of proper…
Let $X$ be a totally unimodular list of vectors in some lattice. Let $B_X$ be the box spline defined by $X$. Its support is the zonotope $Z(X)$. We show that any real-valued function defined on the set of lattice points in the interior of…
We provide a formal introduction into the classic theorems of general topology and its axiomatic foundations in set theory. Starting from ZFC, the exposition in this first part includes relation and order theory as well as a construction of…
This note contains some observations on primary matrix functions and different notions of monotonicity with relevance towards constitutive relations in nonlinear elasticity. Focussing on primary matrix functions on the set of symmetric…
In a recent paper we proposed the study of aggregation functions on lattices via clone theory approach. Observing that aggregation functions on lattices just correspond to $0,1$-monotone clones, we have shown that all aggregation functions…
In this paper some proof theory for propositional Lax Logic is developed. A cut free terminating sequent calculus is introduced for the logic, and based on that calculus it is shown that the logic has uniform interpolation. Furthermore, a…
We investigate the notion of independence, which is at the basis of many, seemingly unrelated, properties of logic like Rational Monotony in non-monotonic logics, and interpolation theorems.
We study modular ortholattices in the variety generated by the finite dimensional ones from an equational and geometric point of view. We relate this to coordinatization results.
We prove the existence of gaps between all the different classes of matrix monotone functions defined on an interval, provided the interval is non trivial and different from the whole real line. We then show how matrix monotone functions…
This expository article explores the vital role of interpolation theory and Lorentz spaces in the rigorous analysis of partial differential equations (PDEs). While classical Lebesgue spaces ($L_{p}$) successfully measure the magnitude of…
Some particular examples of classical and quantum systems on the lattice are solved with the help of orthogonal polynomials and its connection to continuous models are explored.
We begin the study of the consequences of the existence of certain infinite matrices. Our present application is to compactness of products of topological spaces.
In this work, we generalize several topological results and concepts from ring theory to the setting of monoids.
We present some completely monotonic functions involving the$q$-polygamma functions, our result generalizes some known results.
The main focus of this paper is to study multi-valued linear monotone operators in the contexts of locally convex spaces via the use of their Fitzpatrick and Penot functions. Notions such as maximal monotonicity, uniqueness,…
In this paper we give a method, based on the characteristic function of a set, to solve some difficult problems of set theory in undergraduate research.
Matrices are very popular and widely used in mathematics and other fields of science. Every mathematician has known the properties of finite-sized matrices since the time of study. In this paper, we consider the basic theory of infnite…
We look at thin interpolating sequences and the role they play in uniform algebras, Hardy spaces, and model spaces.
We treat interpolation for various logics.
We investigate the representation of lattices as sublattices of the lattice of all convex subsets (intervals) of a linearly ordered set $(X,\le)$. We introduce the purely lattice-theoretic notion of a \textit{loc-lattice} and prove that…