Related papers: Formal Concept Analysis and Homotopical Combinator…
Lagrangian multiform theory is a variational framework for integrable systems. In this article we introduce a new formulation which is based on symplectic geometry and which treats position, momentum and time coordinates of a…
For each lattice one can define a free boson theory propagating on the corresponding torus. We give an alternative definition where one employs any automorphism of the group $M^*/M$. This gives a wealth of conformal data, which we realize…
We prove a Fundamental Theorem of Finite Semidistributive Lattices (FTFSDL), modelled on Birkhoff's Fundamental Theorem of Finite Distributive Lattices. Our FTFSDL is of the form "A poset L is a finite semidistributive lattice if and only…
In this paper, we establish general categorical frameworks that extend Loewy's classification scheme for finite-dimensional real irreducible representations of groups and Borel--Tits' criterion for the existence of rational forms of…
Let L be a nonunimodular definite lattice. Using a theorem of Elkies we show that whether L embeds in the standard definite lattice of the same rank is completely determined by a collection of lattice correction terms, one for each…
The Laplace transform theory violates a very fundamental requirement of all engineering systems. We show that this theory assumes that all signals must exist over infinite time interval. Since in engineering this infinite time assumption is…
Generalising a previous work of Jiang and Sheng, a cohomology theory for differential Lie algebras of arbitrary weight is introduced. The underlying $L_\infty[1]$-structure on the cochain complex is also determined via a generalised version…
One way of studying a relational structure is to investigate functions which are related to that structure and which leave certain aspects of the structure invariant. Examples are the automorphism group, the self-embedding monoid, the…
We give a complete list of formal invariants for a large class of formal differential 1-forms $\w \in \Bbb C [[ x, y]]dx + \Bbb C [[ x, y]]dy$. \indent A $\hat{SL}$-equisingular deformation is an equireducible deformation which leaves…
We construct and study a functorial extension of the evaluation map $S^1 \times \mathcal{L} X \to X$ to transfers along finite covers. For finite covers of classifying spaces of finite groups, we provide algebraic formulas for this…
In the course of classifying the homogeneous permutations, Cameron introduced the viewpoint of permutations as structures in a language of two linear orders, and this structural viewpoint is taken up here. The majority of this thesis is…
This article provides an algebraic study of intermediate inquisitive and dependence logics. While these logics are usually investigated using team semantics, here we introduce an alternative algebraic semantics and we prove it is complete…
We develop a novel formal theory of finite structures, based on a view of finite structures as a fundamental artifact of computing and programming, forming a common platform for computing both within particular finite structures, and in the…
A homogenizable structure $\mathcal{M}$ is a structure where we may add a finite amount of new relational symbols to represent some $\emptyset-$definable relations in order to make the structure homogeneous. In this article we will divide…
We consider the quantum group invariant XXZ-model. In infrared limit it describes Conformal Field Theory with modified energy-momentum tensor. The correlation functions are related to solutions of level -4 of qKZ equations. We describe…
We introduce the o-minimal LS-category of definable sets in o-minimal expansions of ordered fields and we establish a relation with the semialgebraic and the classical one. We also study the o-minimal LS-category of definable groups. Along…
The Divisibility Graph of a finite group $G$ has vertex set the set of conjugacy class lengths of non-central elements in $G$ and two vertices are connected by an edge if one divides the other. We determine the connected components of the…
Logical frameworks provide natural and direct ways of specifying and reasoning within deductive systems. The logical framework LF and subsequent developments focus on finitary proof systems, making the formalization of circular proof…
We consider deformations of bounded complexes of modules for a profinite group G over a field of positive characteristic. We prove a finiteness theorem which provides some sufficient conditions for the versal deformation of such a complex…
Non-classical generalizations of classical modal logic have been developed in the contexts of constructive mathematics and natural language semantics. In this paper, we discuss a general approach to the semantics of non-classical modal…