相关论文: On a generalization of test ideals

We prove the generalized Wolff's Ideal Theorem on certain uniformly closed subalgebras of $ H^{\infty}(\mathbb{D}) $ on which the Corona Theorem is already known to hold.

We consider ideals $d^0(\mathcal{V})$ which are generalizations of the ideal $(v^0)$. We formulate couterparts of Hadamard's theorem. Then, adopting the base tree theorem and applying Kulpa-Szyma\'nski Theorem, we obtain $…

This paper shows the existence of ideals whose localizations and completions at prime ideals are parameter test ideals of the localized and completed rings. We do this for Cohen-Macaulay localizations (resp., completions) of non-local…

Measurability with respect to ideals is tightly connected with absoluteness principles for certain forcing notions. We study a uniformization principle that postulates the existence of a uniformizing function on a large set, relative to a…

We prove normalization for MTT, a general multimodal dependent type theory capable of expressing modal type theories for guarded recursion, internalized parametricity, and various other prototypical modal situations. We prove that deciding…

In this expository paper we survey results that relate Hilbert coefficients of an m-primary ideal I in a Cohen-Macaulay local ring (R, m) with depth of the associated graded ring G(I). Several results in this area follow from two theorems…

The Calculus of Audited Units (CAU) is a typed lambda calculus resulting from a computational interpretation of Artemov's Justification Logic under the Curry-Howard isomorphism; it extends the simply typed lambda calculus by providing…

We study a topological generalization of ideal co-maximality in topological rings and present some of its properties, including a generalization of the Chinese remainder theorem. Using the hyperspace uniformity, we prove a stronger version…

The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, frustrating users with type errors arising when evaluation…

The Turing degree of a real measures the computational difficulty of producing its binary expansion. Since Turing degrees are tailsets, it follows from Kolmogorov's 0-1 law that for any property which may or may not be satisfied by any…

Analogues of Eakin-Sathaye theorem for reductions of ideals are proved for ${\mathbb N}^s$-graded good filtrations. These analogues yield bounds on joint reduction vectors for a family of ideals and reduction numbers for $\mathbb N$-graded…

In textbooks, ideal quantum measurements are described in terms of the tested system only by the collapse postulate and Born's rule. This level of description offers a rather flexible position for the interpretation of quantum mechanics.…

A famous result due to I. M. Isaacs states that if a commutative ring $R$ has the property that every prime ideal is principal, then every ideal of $R$ is principal. This motivates ring theorists to study commutative rings for which every…

Let R be a prime ring of H a generalized derivation and L a noncentral lie ideal of R. We show that if l^sH(l)l^t in Z(R) for all lin2 L, where s, t> 0 are fixed integers, then H(x) = bx for some b in C, the extended centroid of R, or R…

We first give simplified and corrected accounts of some results in \cite{PiRCP} on compactifications of pseudofinite groups. For instance, we use a classical theorem of Turing \cite{Turing} to give a simplified proof that any definable…

Kleene algebra with tests is an extension of Kleene algebra, the algebra of regular expressions, which can be used to reason about programs. We develop a coalgebraic theory of Kleene algebra with tests, along the lines of the coalgebraic…

In the context of an idealized model describing an atom coupled to black-body radiation at a sufficiently high positive temperature, we show that the atom will end up being ionized in the limit of large times. Mathematically, this is…

We introduce the Generalized Turing Test (GTT), a formal framework for comparing the capabilities of arbitrary agents via indistinguishability. For agents A and B, we define the Turing comparator A $\geq$ B to hold if B, acting as a…

We prove a normality theorem for the "true" elementary subgroups of $SL_n(A)$ defined by the ideals of a commutative unital ring $A$. Our result is an analogue of a normality theorem, due to Suslin, for the standard elementary subgroups,…

Let $(R, \mathfrak m)$ be a one dimensional local Cohen-Macaulay ring. An $\mathfrak m$-primary ideal $I$ of $R$ is Elias if the types of $I$ and of $R/I$ are equal. Canonical and principal ideals are Elias, and Elias ideals are closed…