相关论文: Second order arithmetic means in operator ideals

For a graded ideal I in a graded ring, the deviation of I is defined as the difference between the minimal number of generators of I and its grade. In this article, we provide bigraded free resolutions of the symmetric algebras for specific…

We describe the equations of the Rees algebra R(I) of an equimultiple ideal I of deviation one, provided that I has a reduction J generated by a regular sequence and such that the initial forms of the elements of this sequence, except…

Second-order quantifier-elimination is the problem of finding, given a formula with second-order quantifiers, a logically equivalent first-order formula. While such formulas are not computable in general, there are practical algorithms and…

The number of equations needed to cut out a variety given by an ideal is called the arithmetic rank (of the ideal). It was shown in [8] that the notion of arithmetic rank is strongly related to the concept of regular sequences on the Matlis…

Forgetting is an important concept in knowledge representation and automated reasoning with widespread applications across a number of disciplines. A standard forgetting operator, characterized in [Lin and Reiter'94] in terms of…

The supremum of reduction numbers of ideals having principal reductions is expressed in terms of the integral degree, a new invariant of the ring, which is finite provided the ring has finite integral closure. As a consequence, one obtains…

Cantor's ordinal numbers, a powerful extension of the natural numbers, are a cornerstone of set theory. They can be used to reason about the termination of processes, prove the consistency of logical systems, and justify some of the core…

We obtain several generalizations the Hellinger theorem about $l^2$ solutions of difference equations: instead of second order equations and $ l^2$-solutions, we consider second-order equations with matrix coefficients and their solutions…

We introduce differential primary decompositions for ideals in a commutative ring. Ideal membership is characterized by differential conditions. The minimal number of conditions needed is the arithmetic multiplicity. Minimal differential…

This paper improves two existing theorems of interest to neo-logicist philosophers of mathematics. The first is a classification theorem due to Fine for equivalence relations between concepts definable in a well-behaved second-order logic.…

Using three different notions of generalized principal eigenvalue of linear second order elliptic operators in unbounded domains, we derive necessary and sufficient conditions for the validity of the maximum principle, as well as for the…

In this paper we give an ordinal analysis of the theory of second order arithmetic. We do this by working with proof trees -- that is, "deductions" which may not be well-founded. Working in a suitable theory, we are able to represent…

There are two possible computational interpretations of second-order arithmetic: Girard's system F or Spector's bar recursion and its variants. While the logic is the same, the programs obtained from these two interpretations have a…

Using vanishing of graded components of local cohomology modules of the Rees algebra of the normal filtration of an ideal, we give bounds on the normal reduction number. This helps to get necessary and sufficient conditions in…

A rationality condition is derived for the existence of odd perfect numbers involving the square root of a product, which consists of a sequence of repunits, multiplied by twice the base of one of the repunits. This constraint also provides…

We give a new proof of Aubin's improvement of the Sobolev inequality on $\mathbb{S}^{n}$ under the vanishing of first order moments of the area element and generalize it to higher order moments case. By careful study of an extremal problem…

We continue our study of operator algebras with and contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain C*-algebraic…

We study the ring extensions R \subseteq T having the same set of prime ideals provided Nil(R) is a divided prime ideal. Some conditions are given under which no such T exist properly containing R. Using idealization theory, the examples…

The purpose of this work is to complete the algebraic foundations of second-order languages from the viewpoint of categorical algebra as developed by Lawvere. To this end, this paper introduces the notion of second-order algebraic theory…

This paper has two goals. The first goal is to show how an extension of second-order logic is a natural framework to formalize portions of Aristotle's \emph{Topics} and to bring to the foreground the logical, linguistic and philosophical…