相关论文: Lattices, interpolation, and set theory

In this paper, firstly, we determine the number of sublogics of variable inclusion of an arbitrary finitary logic L with partition function. Then, we investigate their position into the lattice of consequence relations over the language of…

We study the problem of finding a function $f$ with ``small support'' that simultaneously tiles with finitely many lattices $\Lambda_1, \ldots, \Lambda_N$ in $d$-dimensional Euclidean spaces. We prove several results, both upper bounds…

This work has a purpose to collect selected facts about the completely monotone (CM) functions that can be found in books and papers devoted to different areas of mathematics. We opted for lesser known ones, and for those which may help…

We obtain necessary and sufficient conditions on a function in order that it be the Laplace transform of an absolutely monotonic function. Several closely related results are also given.

In this paper, we introduce the concept of residuated implications derived from quasi-overlap functions on lattices and prove some related properties. In addition, we formalized the residuation principle for the case of quasi-overlap…

We construct automorphisms of $\C^n$ which map certain discrete sequences one onto another with prescribed finite jet at each point, thus solving a general Mittag-Leffler interpolation problem for automorphisms. Under certain circumstances,…

As part of the recent developments in infinite matroid theory, there have been a number of conjectures about how standard theorems of finite matroid theory might extend to the infinite setting. These include base packing, base covering, and…

We study multiple sampling, interpolation and uniqueness for the classical Fock space in the case of unbounded mul-tiplicities.

We address the existence of vortex solitons supported by azimuthally modulated lattices and reveal how the global lattice discrete symmetry has fundamental implications on the possible topological charges of solitons. We set a general…

We define the concept of a monotonic theory and show how to build efficient SMT (SAT Modulo Theory) solvers, including effective theory propagation and clause learning, for such theories. We present examples showing that monotonic theories…

In this paper, based on ideals, we investigate residuated lattices from fuzzy set theory and lattice theory point of view. Ideals are important concepts in the theory of algebraic structures used for formal fuzzy logic and first, we…

We present an application of the basic mathematical concept of complex functions as topological solitons, a most interesting area of research in physics. Such application of complex theory is virtually unknown outside the community of…

We illustrate the use of intersection types as a semantic tool for showing properties of the lattice of lambda theories. Relying on the notion of easy intersection type theory we successfully build a filter model in which the interpretation…

The aim of this work is to prove inverse formulas for Laplace transform on semilattices of open-and-compact sets in a both discrete and non-discrete cases. These are partial answers to a question posed by Yu.~I.~Lyubich.

We give the cumulative distribution functions, the expected values, and the moments of weighted lattice polynomials when regarded as real functions of independent random variables. Since weighted lattice polynomial functions include…

We introduce the concept of a bounded below set in a lattice. This can be used to give a generalization of Rota's broken circuit theorem to any finite lattice. We then show how this result can be used to compute and combinatorially explain…

Interpolation Theory gives techniques for constructing spaces from two initial Banach spaces. We provide several conditions under which the restriction of a holomorphic map $f:X_0+X_1 \rightarrow Y_0+Y_1$ to the interpolated spaces (using…

Complemented lattices and uniquely complemented lattices are very important, not only in mathematics, but also in physics, biology, and even in social sciences. They have been investigated for a long time, especially by Huntington,…

We study the uniqueness sets, the weak interpolation sets, and convergence of the Lagrange interpolation series in radial weighted Fock spaces

Intervals in binary or n-ary relations or other discrete structures generalize the concept of interval in a linearly ordered set. Join-irreducible partitions into intervals are characterized in the lattice of all interval decompositions of…