相关论文: On a Theorem of Grzegorek and Labuda
We give results and observations which allow the application of the logarithmic tensor category theory of Lepowsky, Zhang and the author ([HLZ1]--[HLZ9]) to more general vertex (operator) algebras and their module categories than those…
We present a variant of the calculus of deductive systems developed in (Lambek 1972, 1974), and give a generalization of the Curry-Howard-Lambek theorem giving an equivalence between the category of typed lambda-calculi and the category of…
A notion of an algebroid - a generalization of a Lie algebroid structure is introduced. We show that many objects of the differential calculus on a manifold M associated with the canonical Lie algebroid structure on T^M can be obtained in…
In this paper we aim to generalize results obtained in the framework of fractional calculus by the way of reformulating them in terms of operator theory. In its own turn, the achieved generalization allows us to spread the obtained…
In this paper we prove a generalization of famous Larchr's theorem concerning good lattice points.
We formulate and prove a generalization of Zariski-van Kampen theorem on the topological fundamental groups of smooth complex algebraic varieties. As an application, we prove a hyperplane section theorem of Lefschetz-Zariski-van Kampen type…
In this paper, several generalizations of the classical Halpern-L\"{a}uchli Theorem are proven for Marczewski and Ellentuck structures using only combinatorial methods.
We present an analysis of some constructions and arguments from the universe of T. G. Goodwillie's Calculus, in a general model theoretic setting.
We present generalized algebraic theories corresponding to slightly modified versions of two of the type theories in our paper Type Theory with Explicit Universe Polymorphism. We first present a generalized algebraic theory for categories…
In this article we show how Gr\"un's results in group theory can be used for studying the structure of class groups in normal extensions.
We introduce the logics GLP(\Lambda), a generalization of Japaridze's polymodal provability logic GLP(\omega) where \Lambda is any linearly ordered set representing a hierarchy of provability operators of increasing strength. We shall…
Using the classical Lazard's elimination theorem, we obtain a decomposition theorem for Lie algebras defined by generators and relations of a certain type. This is a preprint version of the paper appearing in Communications in Algebra…
This is the first part in a series of papers in which we introduce and develop a natural, general tensor category theory for suitable module categories for a vertex (operator) algebra. This theory generalizes the tensor category theory for…
This text is devoted to the theory of varieties, which provides an important tool, based in universal algebra, for the classification of regular languages. In the introductory section, we present a number of examples that illustrate and…
In an earlier paper, we gave an abstract formulation of a theorem of Sierpi\'nski in uncountable commutative groups. In this paper, we prove a result which generalizes the earlier formulation.
The notion of a generalized Lie bialgebroid (a generalization of the notion of a Lie bialgebroid) is introduced in such a way that a Jacobi manifold has associated a canonical generalized Lie bialgebroid. As a kind of converse, we prove…
In this paper we present the generalizations of results, given in the paper published in Georgian J. Math. 26(2019) no. 4, pp 591-598, towards point-finite families.
We want to give a construction as simple as possible of a Borel subset of a product of two Polish spaces. This introduces the notion of potential Wadge class. Among other things, we study the non-potentially closed sets, by proving…
We consist of first presenting Zeckendorf Theorem with these two versions Fibonacci and Luca. In this document we obtain results on the generalized of the Zeckendorf theorem for Fibonacci numbers (multibonacci). Such results find…
We find a covariant completion of the flat-space multi-galileon theory, preserving second-order field equations. We then generalise this to arrive at an enlarged class of second order theories describing multiple scalars and a single…