Related papers: Extending Properly n-REA Sets

The cohomology and deformation theory of 3-Lie algebras are revisited. The theory of extending structures and unified product for 3-Lie algebras are developed.It is proved that the extending structures of 3-Lie algebras can be classified by…

In this paper we investigate extended modules for a special class of Ore extensions. We will assume that $R$ is a ring and $A$ will denote the Ore extension $A:=R[x_1,\dots,x_n;\sigma]$ for which $\sigma$ is an automorphism of $R$,…

We express explicitly the integral closures of some ring extensions; this is done for all Bring-Jerrard extensions of any degree as well as for all general extensions of degree < 6; so far such an explicit expression is known only for…

Do complexity classes have many-one complete sets if and only if they have Turing-complete sets? We prove that there is a relativized world in which a relatively natural complexity class-namely a downward closure of NP, \rsnnp - has…

In this paper we introduce the notion of pure non-characteristically nilpotent Lie algebra and under a condition we prove that a complex maximal extension of a finite-dimensional pure non-characteristically nilpotent Lie algebra is…

In this article, we introduce the first degrees of a cochain complex associated to a strict Lie 2-group whose cohomology is shown to extend the classical cohomology theory of Lie groups. In particular, we show that the second cohomology…

SAT is not in P, is true and provable in a simply consistent extension B' of a first order theory B of computing, with a single finite axiom characterizing a universal Turing machine. Therefore, P is not equal to NP, is true and provable in…

Given a level set $E$ of an arbitrary multiplicative function $f$, we establish, by building on the fundamental work of Frantzikinakis and Host [13,14], a structure theorem which gives a decomposition of $\mathbb{1}_E$ into an almost…

While every matrix admits a singular value decomposition, in which the terms are pairwise orthogonal in a strong sense, higher-order tensors typically do not admit such an orthogonal decomposition. Those that do have attracted attention…

We study M-separability as well as some other combinatorial versions of separability. In particular, we show that the set-theoretic hypothesis b=d implies that the class of selectively separable spaces is not closed under finite products,…

An $n$-correct set $\mathcal{X}$ in the plane is a set of nodes admitting unique interpolation with bivariate polynomials of total degree at most $n$. A $k$-node line is a line passing through exactly $k$ nodes of $\mathcal{X}.$ A line can…

We extend Ueda's peak set theorem for subdiagonal subalgebras of tracial finite von Neumann algebras, to sigma-finite von Neumann algebras (that is, von Neumann algebras with a faithful state; which includes those on a separable Hilbert…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

We give an example of a measurable set of reals E such that the set E'={(x,y): x+y in E} is not in the sigma-algebra generated by the rectangles with measurable sides. We also prove a stronger result that there exists an analytic set E such…

In the first half of this paper, we study the way that sets of real numbers closed under Turing equivalence sit inside the real line from the perspective of algebra, measure and order. Afterwards, we combine the results from our study of…

We study an extension algebra $A$ from two given $3$-Lie algebras $M$ and $H$, and discuss the extensibility of a pair of derivations, one from the derivation algebra of $M$ and the other from that of $H$, to a derivation of $A$. In…

This paper belongs to the research on the limit of the first incompleteness theorem. Effectively inseparable theories (EI) can be viewed as an effective version of essentially undecidable theories (EU), and EI is stronger than EU. We…

The classical 1991 result by Brightwell and Winkler states that the number of linear extensions of a poset is #P-complete. We extend this result to posets with certain restrictions. First, we prove that the number of linear extension for…

We describe under a variety of conditions abelian subgroups of the automorphism group A of the regular n-ary tree T which are normalized by the n-ary adding machine t=(e,...,e,t)s where s is the n-cycle (0,1,...,n-1). As an application, for…

Borsuk conjectured that every n-dimensional bounded set of positive diameter can be partitioned into n+1 sets of smaller diameters. This conjecture was proved for n=2 by Borsuk, for n=3 first by Eggleston, and disproved for n > 297 by…