Related papers: On equationally Noetherian predicate structures

The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the complex structure in the complex Euclidean space. We will show two results about the Newlander-Nirenberg theorem with parameter.…

Constructions are given of Noetherian maximal orders that are finitely presented algebras over a field K, defined by monomial relations. In order to do this, it is shown that the underlying homogeneous information determines the algebraic…

We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.

We provide an elementary consistency proof of Quine's New Foundations, by a construction using interated nominal powersets.

In this paper, after giving a criterion for a Noetherian local ring to be quasi-Gorenstein, we obtain some sufficient conditions for a quasi- Gorenstein ring to be Gorenstein. In the course, we provide a slight generalization of a theorem…

A class of n-ary Poisson structures of constant rank is indicated. Then, one proves that the ternary Poisson brackets are exactly those which are defined by a decomposable 3-vector field. The key point is the proof of a lemma which tells…

We determine the proof-theoretic strength of the principle of countable saturation in the context of the systems for nonstandard arithmetic introduced in our earlier work.

In this paper we introduce a quotient structure on topological ternary semigroup by defining a congruence suitably. We have found conditions under which this quotient structure becomes a topological ternary semigroup. We have also obtained…

We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…

We give evaluations in closed form of certain non linear differential equations

Let $k$ be a commutative Noetherian ring, and $k[S]$ the polynomial ring whose indeterminates are parameterized by elements in a set $S$. We show that $k[S]$ is Noetherian up to highly homogenous actions of groups. In particular, there is a…

In this paper, we inspect a relatively unexplored notion of finite generation in semirings, namely semirings in which all congruences are finitely generated. Such semirings are dubbed Congruence Noetherian. After developing sufficient…

In recent work, we introduced a new semantics for conditionals, covering a large class of what we call preconditionals. In this paper, we undertake an axiomatic study of preconditionals and subclasses of preconditionals. We then prove that…

A very explicit analytic formula of the separability criterion of two-party Gaussian systems is given. This formula is compared to the past formulation of the separability criterion of continuous variables two-party Gaussian systems.

Our main goal is to find a criterion to classify if a given group have a structure similar to a U(1) Lie group.

Two criteria are given for a ring to have a left Noetherian left quotient ring (this was an open problem since 70's). It is proved that each such ring has only finitely many maximal left denominator sets.

Our purpose is to make a contribution to the foundation of the theory of formal scheme. We are interested particularly in non-Noetherian or non-adic formal schemes, which have been little studied. We redefine the formal scheme as a…

A word $w$ is said to be concise in a class of groups if, for every $G$ in that class such that the set of $w$-values $w\{G\}$ is finite, the verbal subgroup $w(G)$ is also finite. In the context of profinite groups, the notion of strong…

We prove some results on the structure of ind-pro completions of Noetherian rings along flags of prime ideals. In particular, we compute the Krull dimension and deduce the criterion on semilocality in the case of essentially of finite type…

We introduce the concept of numeraires of convex sets in the nonnegative orthant of the topological vector space of all random variables built over a probability space. A necessary and sufficient condition for an element of a convex set to…