Related papers: The Logics of Individual Medvedev Frames

In this paper, we first present a classification theorem of infinite-dimensional simple Novikov algebras over an algebraically closed field with characteristic 0. Then we classify all the irreducible modules of a certain…

We apply Kolesnikov's algorithm to obtain a variety of nonassociative algebras defined by right anticommutativity and a `noncommutative' version of the Malcev identity. We use computational linear algebra to verify that these identities are…

We investigate the structure of the Medvedev lattice as a partial order. We prove that every interval in the lattice is either finite, in which case it is isomorphic to a finite Boolean algebra, or contains an antichain of size…

The Fagundes-Mello conjecture asserts that every multilinear polynomial on upper triangular matrix algebras is a vector space, which is an improtant variation of the old and famous Lvov-Kaplansky conjecture. The goal of the paper is to give…

This paper studies a formalisation of intuitionistic logic by Negri and von Plato which has general introduction and elimination rules. The philosophical importance of the system is expounded. Definitions of `maximal formula', `segment' and…

We introduce a novel model-theoretic framework inspired from graph modification and based on the interplay between model theory and algorithmic graph minors. The core of our framework is a new compound logic operating with two types of…

We introduce the theory of div point sets, which aims to provide a framework to study the combinatoric nature of any set of points in general position on an Euclidean plane. We then show that proving the unsatisfiability of some first-order…

We introduce the notion of reflexivity for combinatory algebras. Reflexivity can be thought of as an equational counterpart of the Meyer-Scott axiom of combinatory models, which indeed allows us to characterise an equationally definable…

Searching for structural reasons behind old results and conjectures of Chudnovksy regarding the least degree of a nonzero form in an ideal of fat points in projective N-space, we make conjectures which explain them, and we prove the…

We propose a generalization of the Zamolodchikov-Fateev parafermions which are abelian, to nonabelian groups. The fusion rules are given by the tensor product of representations of the group. Using Vafa equations we get the allowed…

This work is a mathematician's attempt to understand intuitionistic logic. It can be read in two ways: as a research paper interspersed with lengthy digressions into rethinking of standard material; or as an elementary (but highly…

In this paper we study two design problems in frame theory: on the one hand, given a fixed finite frame $\cF$ for $\hil\cong\C^d$ we compute those dual frames $\cG$ of $\cF$ that are optimal perturbations of the canonical dual frame for…

The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of…

Higher-dimensional Thompson's groups nV are finitely presented groups described by Brin which generalize dyadic self-maps of the unit interval to dyadic self-maps of n-dimensional unit cubes. We describe some of the metric properties of…

We define the concept of a logic frame, which extends the concept of an abstract logic by adding the concept of a syntax and an axiom system. In a recursive logic frame the syntax and the set of axioms are recursively coded. A recursive…

In this paper we extend to non-compact Riemannian manifolds with boundary the use of two important tools in the geometric analysis of compact spaces, namely, the weak maximum principle for subharmonic functions and the integration by parts.…

The moduli space of stable rational curves with marked points has two distinguished families of maps: the forgetful maps, given by forgetting some of the markings, and the Kapranov maps, given by complete linear series of $\psi$-classes.…

Kontsevich's formality theorem states that the differential graded Lie algebra of multidifferential operators on a manifold M is L-infinity-quasi-isomorphic to its cohomology. The construction of the L-infinity map is given in terms of…

In this paper we study a novel class of parabolic geometries which we call parabolic geometries of Monge type. These parabolic geometries are defined by special gradings of simple Lie algebras, namely, gradings with the property that their…

We consider Faddeev formulation of general relativity in which the metric is composed of ten vector fields or a $4 \times 10$ tetrad. This formulation reduces to the usual general relativity upon partial use of the field equations. A…