Related papers: On equationally Noetherian predicate structures
Let $R$ be a ring and $S$ a multiplicative subset of $R$. Then $R$ is called a uniformly $S$-Noetherian ($u$-$S$-Noetherian for abbreviation) ring provided there exists an element $s\in S$ such that for any ideal $I$ of $R$, $sI \subseteq…
We construct the universal type structure for conditional probability systems without any topological assumption, namely a type structure that is terminal, belief-complete, and non-redundant. In particular, in order to obtain the…
In the present paper correspondence between non-Noether symmetries and bi-Hamiltonian structures is disscussed. We show that in regular Hamiltonian systems presence of the global bi-Hamiltonian structure is caused by symmetry of the space…
In this paper we study the set of prime ideals in vector lattices and how the properties of the prime ideals structure the vector lattice in question. The different properties that will be considered are firstly, that all or none of the…
In this paper we generalize notions of iterated integral with regard to an unpredictable process. We establish a formula of integration by parts, the existence of a continuous modification and give an expression of the increasing process.
An example of a cocomplete abelian category that is not complete is constructed.
We classify the prelocalizing subcategories of the category of quasi-coherent sheaves on a locally noetherian scheme. In order to give the classification, we introduce the notion of a local filter of subobjects of the structure sheaf. The…
We prove a theorem stating that any semantics can be encoded as a compositional semantics, which means that, essentially, the standard definition of compositionality is formally vacuous. We then show that when compositional semantics is…
A theorem providing necessary conditions enabling one to map a nonlinear system of first order partial differential equations to an equivalent first order autonomous and homogeneous quasilinear system is given. The reduction to quasilinear…
Let $(\mathcal C,\otimes,1)$ be an abelian symmetric monoidal category satisfying certain conditions and let $X$ be a scheme over $(\mathcal C,\otimes,1)$ in the sense of To\"en and Vaqui\'{e}. In this paper we show that when $X$ is…
A linear system of difference equations and a nonlinear perturbation are considered, we obtain sufficient conditions to ensure the topological equivalence between them, namely, the linear part satisfies a property of dichotomy on the…
A special case of the satisfiability problem, in which the clauses have a hierarchical structure, is shown to be solvable in linear time, assuming that the clauses have been represented in a convenient way.
We define a model of predicate logic in which every term and predicate, open or closed, has an absolute denotation independently of a valuation of the variables. For each variable a, the domain of the model contains an element [[a]] which…
We define a proof system for exceptions which is close to the syntax for exceptions, in the sense that the exceptions do not appear explicitly in the type of any expression. This proof system is sound with respect to the intended…
The infinitary propositional logic of here-and-there is important for the theory of answer set programming in view of its relation to strongly equivalent transformations of logic programs. We know a formal system axiomatizing this logic…
The Equivalence Principle is considered in the framework of metric-affine gravity. We show that it naturally emerges as a Noether symmetry starting from a general non-metric theory. In particular, we discuss the Einstein Equivalence…
This is an expository work presenting in detail the proof of the structure theorem for divisible abelian groups. A divisible abelian group is an abelian group that satisfies nD=D for all natural n. The theorem states that any divisible…
Structural proof theory is praised for being a symbolic approach to reasoning and proofs, in which one can define schemas for reasoning steps and manipulate proofs as a mathematical structure. For this to be possible, proof systems must be…
We prove that separable extensions of noetherian rings and finite \'etale morphisms of noetherian schemes give rise to separable extensions of singularity categories.
We show that an irreducible ordinary differential equation on the projective line has a Frobenius structure for a power of some prime p if it is rigid in the sense of Katz and satisfies some other reasonable (and necessary) conditions…