Related papers: On equationally Noetherian predicate structures
We investigate predicative aspects of order theory in constructive univalent foundations. By predicative and constructive, we respectively mean that we do not assume Voevodsky's propositional resizing axioms or excluded middle. Our work…
Let $A = \{0 = a_0 < a_1 < \cdots < a_{\ell + 1} = b\}$ be a finite set of non-negative integers. We prove that the sumset $NA$ has a certain easily-described structure, provided that $N \geqslant b-\ell$, as recently conjectured by Shakan…
In the refinement calculus, monotonic predicate transformers are used to model specifications for (imperative) programs. Together with a natural notion of simulation, they form a category enjoying many algebraic properties. We build on this…
The connection between the Equivalence Principle and Noether's theorem was discussed in S. Capozziello and C. Ferrara, Int. J. Geom. Meth. Mod. Phys. 21, 2440014 (2024). However, it is known that the Noether symmetry condition is…
Tableaux originate as a decision method for a logical language. They can also be extended to obtain a structure that spells out all the information in a set of sentences in terms of truth value assignments to atomic formulas that appear in…
We provide linearizability criteria for a class of systems of third-order ordinary differential equations (ODEs) that is cubically semi-linear in the first derivative, by differentiating a system of second-order quadratically semi-linear…
We provide a natural criterion which implies equality of the finitistic test ideal and test ideal in local rings of prime characteristic. Most notably, we show that the criterion is met by every local weakly $F$-regular ring whose…
Antimonotonous quadratic forms generalizing P-faithful posets defined by authors earlier are introduced. The criterion of antimonotonousness is given for posets with positive semidefinite quadratic forms. As consequence the new proofs of…
Let $R$ be a commutative noetherian ring and $f_{1}, ..., f_{r} \in R$. In this article we give (cf. the Theorem in \S2) a criterion for $f_{1}, ..., f_{r}$ to be regular sequence for a finitely generated module over $R$ which strengthens…
A group $G$ is said to be equationally Noetherian if every system of equations in $G$ is equivalent to a finite subsystem. We show that all free-by-cyclic groups are equationally Noetherian. As a corollary, we deduce that the set of…
We show that every quasi-compact and quasi-separated algebraic stack can be approximated by a noetherian algebraic stack. We give several applications such as eliminating noetherian hypotheses in the theory of good moduli spaces.
Recently, Widmer introduced a new sufficient criterion for the Northcott property on the finiteness of elements of bounded height in infinite algebraic extensions of number fields. We provide a simplification of Widmer's criterion when the…
We prove a $p$-nilpotency criterion for finite groups in terms of the element orders of its $p'$-reduced sections that extends a nilpotency criterion by T{\u{a}}rn{\u{a}}uceanu.
In this article we establish some formalism of Derived Witt-D\'evissage theory for resolving subcategories of abelian categories. Results directly apply to noetherian schemes.
The article proposes a method for constructing non-standard theories based on terms from partially existing sequences of elements. The method is illustrated by the example of the theory of monoids. Predicates and terms from non-standard…
In this paper we give an algorithm to determine, for any given suborder closed class of series-parallel posets, a structure theorem for the class. We refer to these structure theorems as structural descriptions.
We present here an abstract notion of structure consisting of propositions and realizers (which we call PR-structures) giving rise to set based contravariant functors taking values in the category of sets endowed with binary relations. We…
In this paper, we prove a criterion of elementary equivalence of stable linear groups over fields of characteristic two.
In the last years there has been a growing interest in the study of learning problems associated with algebraic structures. The framework we use models the scenario in which a learner is given larger and larger fragments of a structure from…
The aim of this note is to explain in which sense an axiomatic Sobolev space over a general metric measure space (\`a la Gol'dshtein-Troyanov) induces - under suitable locality assumptions - a first-order differential structure.