Related papers: On equationally Noetherian predicate structures

In this short paper, we establish the local Noetherian property for the linear categories of Brauer, partition algebras, and other related categories of diagram algebras with no restrictions on their various parameters.

We construct, for every integer $N\in\mathbb{N}^*$, a structure whose Grothendieck ring is isomorphic to $(\mathbb{Z}/N\mathbb{Z})[X]$, thus proving the existence of structures with a non-zero Grothendieck ring with non-zero characteristic.…

We study equationally Noetherian varieties of groups, rings and monoids. Moreover, we describe equationally Noetherian direct powers for these algebraic structures.

We prove Noether-type theorems for fractional isoperimetric variational problems with Riemann-Liouville derivatives. Both Lagrangian and Hamiltonian formulations are obtained. Illustrative examples, in the fractional context of the calculus…

This paper presents some sufficient conditions for the validity of the comparison principle for the weak solutions of non - cooperative weakly coupled systems of elliptic second-order PDEs.

It is useful to have a criterion for when the predictions of an operational theory should be considered classically explainable. Here we take the criterion to be that the theory admits of a generalized-noncontextual ontological model.…

This paper discusses evidence for neutrino oscillations obtained from measurements with solar neutrinos and reactor neutrinos.

A new construction, with more visible canonical features, of a qKdV equation in a q-Virasoro context is exhibited.

The Riccati equation method is used to establish an oscillatory and a non oscillatory criteria for nonhomogeneous linear systems of two first-order ordinary differential equations. It is shown that the obtained oscillatory criterion is a…

Many types of categorical structure obey the following principle: the natural notion of equivalence is generated, as an equivalence relation, by identifying $A$ with $B$ when there exists a strictly structure-preserving map $A \to B$ that…

The goal of this note is to provide a constructive version of the proof of local structure of etale algebras.

We give a necessary and sufficient condition for a system of linear inhomogeneous fractional differential equations to have at least one bounded solution. We also obtain an explicit description for the set of all bounded (or decay)…

We prove a criterion that allows to construct units in product systems of correspondences with prescribed infinitesimal characterizations. This criterion summarizes proofs of known results and new applications. It also frees the hypothesis…

The existence of a positive entire weak solution to a singular quasi-linear elliptic system with convection terms is established, chiefly through perturbation techniques, fixed point arguments, and a priori estimates. Some regularity…

We investigate combinations of structures by families of structures relative to families of unary predicates and equivalence relations. Conditions preserving $\omega$-categoricity and Ehrenfeuchtness under these combinations are…

The purpose of this note is to give an affirmative answer to a conjecture appearing in [Integral Transforms Spec. Funct. 26 (2015) 90-95].

Let $X$ be a partial flag variety, equipped with the Borel action by multiplication. We give a criterion for the equivariant derived category with modular coefficients to be formal.

We give three necessary and sufficient conditions for a pro-p group to be p-adic analytic. We show that a noetherian pro-p group having finite chain length has a finite rank and conversely. We further deduce that a noetherian pro-p group…

In this article, we extend the nonabelian Hodge correspondence in positive characteristic to the nonlinear setting.

New criterion of regularity for representation of canonical commutation relations algebra is given on the basis of concept of an analytical vector.