Related papers: On a non-vanishing Ext
A new construction is given of non-standard uniserial modules over certain valuation domains; the construction resembles that of a special Aronszajn tree in set theory. A consequence is the proof of a sufficient condition for the existence…
We consider the question of which valuation domains (of cardinality aleph_1) have non-standard uniserial modules. We show that a criterion conjectured by Osofsky is independent of ZFC + GCH.
We survey some recent results on the validity of Jensen's diamond principle at successor cardinals. We also discuss weakening of this principle such as club guessing, and anti-diamond principles such as uniformization. A collection of open…
Motivated by a question of Isbell, we show that Jensen's Diamond Principle implies there is a non-P-point ultrafilter U on omega such that U, whether ordered by reverse inclusion or reverse inclusion mod finite, is not Tukey equivalent to…
We study fragments of the existential theory of henselian valued fields with parameters. This includes the $\exists_n$-fragment in the equicharacteristic or unramified mixed characteristic case, the $\exists_n\exists_1$-fragment in the…
The decidability of axiomatic extensions of the modal logic K with modal reduction principles, i.e. axioms of the form $\Diamond^{k} p \rightarrow \Diamond^{n} p$, has remained a long-standing open problem. In this paper, we make…
A structural analysis of construction schemes is developed. That analysis is used to give simple and new constructions of combinatorial objects which have been of interest to set theorists and topologists. We then continue the study of…
We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory…
We show that Vopenka's Principle and Vopenka cardinals are indestructible under reverse Easton forcing iterations of increasingly directed-closed partial orders, without the need for any preparatory forcing. As a consequence, we are able to…
Let f be a transcendental meromorphic function. Suppose that the finite part of the postsingular set of f is bounded, that f has no recurrent critical points or wandering domains, and that the degree of pre-poles of f is uniformly bounded.…
It is well known that ZFC, despite its usefulness as a foundational theory for mathematics, has two unwanted features: it cannot be written down explicitly due to its infinitely many axioms, and it has a countable model due to the…
This paper provides a method to get a noetherian equicharacteristic local UFD with an isolated singularity from a given noetherian complete equicharacteristic local ring, preserving certain properties. This is applied to invesitgate the…
The ruled residue theorem characterises residue field extensions for valuations on a rational function field. Under the assumption that the characteristic of the residue field is different from $2$ this theorem is extended here to function…
Model-theoretic frameworks for Nonstandard Analysis depend on the existence of nonprincipal ultrafilters, a strong form of the Axiom of Choice (AC). Hrbacek and Katz, APAL 72 (2021) formulate axiomatic nonstandard set theories SPOT and SCOT…
We give a criterion for the non-vanishing of some generalised modular symbols. The criterion is in terms of the non-vanishing of some classes on the compact dual of the locally symmetric manifold. As an application, we construct non-zero…
A vanishing theorem is proved for Ext groups over non-commutative graded algebras. Along the way, an "infinite" version is proved of the non-commutative Auslander-Buchsbaum theorem.
In this article we prove a non-vanishing statement, as well as several properties of metrics with minimal singularities of adjoint bundles. Our arguments involve many ideas from Y.-T. Siu's analytic proof of the finite generation of the…
Chebotarev's theorem on roots of unity states that all minors of the Fourier matrix of prime size are non-vanishing. This result has been rediscovered several times and proved via different techniques. We follow the proof of Evans and…
We show that the modular branching rule (in the sense of Harish-Chandra) on unipotent modules for finite unitary groups is piecewise described by particular connected components of the crystal graph of well-chosen Fock spaces, under…
The paper investigates the non-vanishing of $H^1(E(n))$, where $E$ is a (normalized) rank two vector bundle over any smooth irreducible threefold $X$ of degree $d$ such that $Pic(X) \cong \ZZ$. If $\epsilon$ is the integer defined by the…