Related papers: Generalized Luzin sets
We study sets of integers that can be defined by the vanishing of a generalised polynomial expression. We show that this includes sets of values of linear recurrent sequences of Salem type and some linear recurrent sequences of Pisot type.…
An (I,J,K)-generalized Finsler structure on a 3-manifold is a generalization of a Finslerian structure, introduced in order to separate and clarify the local and global aspects in Finsler geometry making use of the Cartan's method of…
We construct via generators and relations, generalized Weil representations for analogues of classical $SL(2,k), k$ a field, over involutive base rings $(A, \ast).$ This family of groups covers different kinds of groups, classical and non…
In this paper, we consider ordered set partitions obtained by imposing conditions on the size of the lists, and such that the first $r$ elements are in distinct blocks, respectively. We introduce a generalization of the Lah numbers. For…
For a given partially ordered set (poset) and a given family of mappings of the poset into itself, we study the problem of the description of joint fixed points of this family. Well-known Tarski's theorem gives the structure of the set of…
In this paper, we consider mixed sums of generalized polygonal numbers. Specifically, we obtain a finiteness condition for universality of such sums; this means that it suffices to check representability of a finite subset of the positive…
We present some results about generics for computable Mathias forcing. The $n$-generics and weak $n$-generics in this setting form a strict hierarchy as in the case of Cohen forcing. We analyze the complexity of the Mathias forcing…
The goal of this paper is to show that many key results found in the study of Einstein Lorentzian nilpotent Lie algebras can still hold in the more general settings of unimodular Lie algebras and (completely) solvable Lie algebras.
We construct Luzin-type subsets of the real line in all finite powers Rothberger, with a non-Menger product. To this end, we use a purely combinatorial approach which allows to weaken assumptions used earlier to construct sets with…
We construct N-complexes of non completely antisymmetric irreducible tensor fields on $\mathbb R^D$ generalizing thereby the usual complex (N=2) of differential forms. These complexes arise naturally in the description of higher spin gauge…
Contrary to the usual belief, by carefully examining the operation of parity transformation on the $(1,0)\oplus(0,1)$ mesons in the generalized canonical representation, we establish that the $(j,0)\oplus(0,j)$ meson-antimeson pair have…
We look at generalized complex structures from the point of view of Poisson and Dirac geometry and we remark that the puzzling equations underlying the notion of generalized complex structure have miraculously simple meaning when passing to…
The forcing method is a powerful tool to prove the consistency of set-theoretic assertions relative to the consistency of the axioms of set theory. Laver's theorem and Bukovsk\'y's theorem assert that set-generic extensions of a given…
We obtain local parametrizations of classical non-compact Lie groups where adjoint invariants under maximal compact subgroups are manifest. Extension to non compact subgroups is straightforward. As a by-product parametrizations of the same…
We introduce the notion of Lie algebras with plus-minus pairs as well as regular plus-minus pairs. These notions deal with certain factorizations in universal enveloping algebras. We show that many important Lie algebras have such pairs and…
A generalized set theory (GST) is like a standard set theory but also can have non-set structured objects that can contain other structured objects including sets. This paper presents Isabelle/HOL support for GSTs, which are treated as type…
It is well known, that Luzin's conjecture has a positive solution for one dimensional trigonometric Fourier series and it is still open for the spherical partial sums $S_\lambda f(x)$, $f\in L_2(\mathbb{T}^N)$, of multiple Fourier series,…
We provide a new foundational approach to the generalization of terms up to equational theories. We interpret generalization problems in a universal-algebraic setting making a key use of projective and exact algebras in the variety…
In this paper, we consider linear combination of determinant and permanent, which we call generalized determinant, and determine the stabilizer group of it.
We give explicit constructions of sets S with the property that for each integer k, there are at most g solutions to k=s_1+s_2, s_i\in S; such sets are called Sidon sets if g=2 and generalized Sidon sets if g\ge 3. We extend to generalized…