Related papers: Isomorphism Classes of Generating Sets

The following selection theorem is established:\\ Let $X$ be a compactum possessing a binary normal subbase $\mathcal S$ for its closed subsets. Then every set-valued $\mathcal S$-continuous map $\Phi\colon Z\to X$ with closed $\mathcal…

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals…

We survey some recent results about the order structure of various kinds of ultrafilters. More precisely, we study Rudin-Keisler and Tukey reducibility in classes of selective, stable ordered-union, and P-point ultrafilters. Although these…

Motivated by a Tukey classification problem we develop here a new topological Ramsey space $\mathcal{R}_1$ that in its complexity comes immediately after the classical is a natural Ellentuck space \cite{MR0349393}. Associated with…

The generic ultrafilter $\mathcal{G}_2$ forced by $\mathcal{P}(\omega\times\omega)/($Fin$\otimes$Fin) was recently proved to be neither maximum nor minimum in the Tukey order of ultrafilters (in a recent paper of Blass, Dobrinen, and…

It is consistent with ZF + DC that there exists an ultrafilter $U$ on $\omega$ such that two infinite ultraproducts of finite sets, $\prod A_n / U$ and $\prod B_n / U$, have the same cardinality if and only if $0 < \lim_U |A_n|/|B_n| <…

This short note contains the proofs of two small but somewhat surprising results about ultrafilters on $\mathbb{N}$: 1. strongly summable ultrafilters are rapid, 2. every rapid ultrafilter induces a closed left ideal of rapid ultrafilters.…

We continue our study of Sierpinski-type colourings. In contrast to the prequel paper, we focus here on colourings for ideals stratified by their completeness degree. In particular, improving upon Ulam's theorem and its extension by Hajnal,…

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

Let $p$ be an idempotent ultrafilter over $\mathbb{N}$. For a positive integer $N$, let ${\cal P}_{\leq N}$ denote the additive group of polynomials $P\in\mathbb{Z}[x]$ with ${\rm deg}\, P\leq N$ and $P(0)=0$. Given a unitary operator $U$…

Assume $AD+V=L(\mathbb{R})$. Let $\kappa=\utilde{\delta}^2_1$, the supremum of all $\utilde{\Delta}^2_1$ prewellorderings. We prove that extenders on the sequence of $\H$ that have critical point $\kappa$ are generated by countably complete…

We provide a model where u(\kappa) < 2^{\kappa} for a supercompact cardinal \kappa. Garti and Shelah have provided a sketch of how to obtain such a model by modifying the construction in a paper of Dzamonja and Shelah; we provide here a…

We introduce Gowers--Matet forcing with a finite sequence of pairwise non-isomorphic Ramsey ultrafilters over $\omega$, and with this forcing we settle the long-standing problem of the spectrum of numbers near-coherence classes. We prove…

We show that supercompactness and strong compactness can be equivalent even as properties of pairs of regular cardinals. Specifically, we show that if V models ZFC + GCH is a given model (which in interesting cases contains instances of…

We prove a correspondence between $\kappa$-small fibrations in simplicial presheaf categories equipped with the injective or projective model structure (and left Bousfield localizations thereof) and relatively $\kappa$-compact maps in their…

Under the assumption that $\delta$ is a Woodin cardinal and $\GCH$ holds, I show that if $F$ is any class function from the regular cardinals to the cardinals such that (1) $\kappa<\cf(F(\kappa))$, (2) $\kappa<\lambda$ implies…

We use Shelah's theory of possible cofinalities in order to solve a problem about ultrafilters. THEOREM. Suppose that $ \lambda $ is a singular cardinal, $ \lambda ' < \lambda $, and the ultrafilter $D$ is $ \kappa $-decomposable for all…

Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…

Let $S$ be an infinite discrete semigroup. The operation on $S$ extends uniquely to the Stone-\v{C}ech compactification $\beta S$ making $\beta S$ a compact right topological semigroup with $S$ contained in its topological center. As such,…

New fixed point results are presented for ${\cal U}_c^{\kappa}(X,X)$ maps in extension type spaces.