Related papers: Initial Tukey structure below a stable ordered-uni…

This paper establishes a number of constraints on the structure of large cardinals under strong compactness assumptions. These constraints coincide with those imposed by the Ultrapower Axiom, a principle that is expected to hold in Woodin's…

We prove that, for every modulus $\mathfrak{q}$, every class of the narrow ray class group $H_{\mathfrak{q}}(\mathbf{K})$ of an arbitrary number field $\mathbf{K}$ contains a product of three unramified prime ideals $\mathfrak{p}$ of degree…

It is proved to be consistent relative to a measurable cardinal that there is a uniform ultrafilter on the real numbers which is generated by fewer than the maximum possible number of sets. It is also shown to be consistent relative to a…

It will be shown to be consistent that there are at least two non-isomorphic selective ultrafilters, but no stable ordered-union ultrafilters. This answers a question of Blass from his 1987 paper which introduced the concept of a stable…

Let G be a locally compact abelian group (LCA group) and U be an open, 0-symmetric set. Let F:=F(U) be the set of all real valued continuous functions from G to R which are supported in U and are positive definite. The Turan constant T(U)…

We extend the notion of test module filtration introduced by Blickle for Cartier modules. We then show that this naturally defines a filtration on unit $F$-modules and prove that this filtration coincides with the notion of $V$-filtration…

It is consistent (relative to ZFC) that the union of max{b,g} many families in the Baire space which are not finitely dominating is not dominating. In particular, it is consistent that for each nonprincipal ultrafilter U, the cofinality of…

Extending recent investigations on the structure of Tukey types of ultrafilters on $\mathcal{P}(\omega)$ to Boolean algebras in general, we classify the spectra of Tukey types of ultrafilters for several classes of Boolean algebras,…

Kirillov's orbit theory provides a powerful tool for the investigation of irreducible unitary representations of many classes of Lie groups. In a previous paper we used a modification hereof, called monomial linearisation, to construct a…

We prove that large classes of algebras in the framework of root of unity quantum cluster algebras have the structures of maximal orders in central simple algebras and Cayley-Hamilton algebras in the sense of Procesi. We show that every…

We show from a weak comparison principle (the Ultrapower Axiom) that the Mitchell order is linear on certain kinds of ultrafilters: normal ultrafilters, Dodd solid ultrafilters, and assuming GCH, generalized normal ultrafilters. In the…

We use the ultrafilter-convergence axiomatics for topological spaces to motivate in detail a gentle categorical introduction, first to Barr's Set-based relational T-algebras, and then to Burroni's T-preorders internal to a category C, here…

We characterize the existence of minimal idempotent ultrafilters (on N) in the style of reverse mathematics and higher-order reverse mathematics using the Auslander-Ellis theorem and variant thereof. We obtain that the existence of minimal…

Aiming at a complete classification of unitary N=2 minimal models (where the assumption of space-time supersymmetry has been dropped), it is shown that each modular invariant candidate of a partition function for such a theory is indeed the…

Let $H$ be a multiplicatively written monoid. Given $k\in{\bf N}^+$, we denote by $\mathscr U_k$ the set of all $\ell\in{\bf N}^+$ such that $a_1\cdots a_k=b_1\cdots b_\ell$ for some atoms $a_1,\ldots,a_k,b_1,\ldots,b_\ell\in H$. The sets…

Let $f:X\to U$ be a projective morphism of normal varieties and $(X,\Delta)$ a dlt pair. We prove that if there is an open set $U^0\subset U$, such that $(X,\Delta)\times_U U^0$ has a good minimal model over $U^0$ and the images of all the…

Let $M$ be strongly minimal and constructed by a `Hrushovski construction'. If the Hrushovski algebraization function $\mu$ is in a certain class ${\mathcal T}$ ($\mu$ triples) we show that for independent $I$ with $|I| >1$, ${\rm…

We establish a general version of the Siegel-Sternberg linearization theorem for ultradiffentiable maps which includes the analytic case, the smooth case and the Gevrey case. It may regarded as a small divisior theorem without small divisor…

Motivated by the search for methods to establish strong minimality of certain low order algebraic differential equations, a measure of how far a finite rank stationary type is from being minimal is introduced and studied: The {\em degree of…

Let $X$ be a set of $4$ generic points in $\mathbb{P}^2$ with homogeneous coordinate ring $R$. We classify indecomposable graded MCM modules over $R$ by reducing the classification to the Four Subspace problem solved by Nazarova and…