Related papers: On t-reductions of ideals in pullbacks
Cut-elimination is the bedrock of proof theory with a multitude of applications from computational interpretations to proof analysis. It is also the starting point for important meta-theoretical investigations including decidability,…
In the first part of the work (Sections 2-6) a special attention is given to relative separation axioms and relative connectedness, in particular, many relative versions of p-T_0, p-T_1, p-T_2, (i,j)- and p-regularities, (i,j)- and…
It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the…
For a commutative ring R we investigate the property that the sets of minimal primes of finitely generated ideals of R is always finite. We prove this property passes to polynomial ring extensions (in an arbitrary number of variables) over…
We provide an axiomatic framework for working with a wide variety of closure operations on ideals and submodules in commutative algebra, including notions of reduction, independence, spread, and special parts of closures. This framework is…
This is Part II of the series of our papers under the title "Toward resolution of singularities over a field of positive characteristic (The Idealistic Filtration Program)". See http://arxiv.org/abs/math/0607009 for Part I.
We introduce the concept of duality between quantum field theories in the Batalin-Vilkovisky formalism, which is interpreted either as a BV morphism, the result of dual BV pushforwards or a combination of both. When a BV morphism affects…
Let $R$ be a commutative ring with identity. In this note, we study the property: If $ I \subsetneqq J$ are ideals in $R$, then $ I^n \subsetneqq J^n$ for all $ n\geq 1$. We define the notion of a big ideal (Definition 1.2). It is noted…
The notion of Igusa-Todorov classes is introduced in connection with the finitistic dimension conjecture. As application we consider conditions on special ideals which imply the Igusa-Todorov and other finiteness conditions on modules…
Absolute integral closures of general commutative unital rings are explored. All rings admit absolute integral closures, but in general they are not unique. Among the reduced rings with finitely many minimal prime ideals, finite products of…
This paper discusses the extension of the Prototype Verification System (PVS) sub-theory for rings, part of the PVS algebra theory, with theorems related to the division algorithm for Euclidean rings and Unique Factorization Domains that…
Let $\mathbb{F}_q$ be a finite field, let $\mathbb{X}$ be a subset of a projective space ${\mathbb P}^{s-1}$, over the field $\mathbb{F}_q$, parameterized by rational functions, and let $I(\mathbb{X})$ be the vanishing ideal of…
Value-based static analysis techniques express computed program invariants as logical formula over program variables. Researchers and practitioners use these invariants to aid in software engineering and verification tasks. When selecting…
We improve certain degree bounds for Grobner bases of polynomial ideals in generic position. We work exclusively in deterministically verifiable and achievable generic positions of a combinatorial nature, namely either strongly stable…
In this paper, we study the classes of rings in which every proper (regular) ideal can be factored as an invertible ideal times a nonempty product of proper radical ideals. More precisely, we investigate the stability of these properties…
We introduce an interesting method of proving separable reduction theorems - the method of elementary submodels. We are studying whether it is true that a set (function) has given property if and only if it has this property with respect to…
Let $X$ be a matrix with entries in a polynomial ring over an algebraically closed field $K$. We prove that, if the entries of $X$ outside some $(t \times t)$-submatrix are algebraically dependent over $K$, the arithmetical rank of the…
The main idea of [4] was that structures built from periodic prime ideals have better properties from the usual ones built from invariant ideals; but unable to work with periodic ideals alone, we had to generalise further to a somewhat…
In this paper we study the extension of structure group of principal bundles with a reductive algebraic group as structure group on smooth projective varieties defined over algebraically closed field of positive characteristic. Our main…
This work focuses on the problem of exact model reduction of positive linear systems, by leveraging minimal realization theory. While determining the existence of a positive reachable realization remains in general an open problem, we are…