Related papers: Isomorphism Classes of Generating Sets

We discuss the connection between various orders on the class of all the ultrafilters and certain compactness properties of abstract logics and of topological spaces. We present a model theoretical characterization of Comfort order. We…

A set X which is a subset of the Cantor set has property (s) (Marczewski (Spzilrajn)) iff for every perfect set P there exists a perfect set Q contained in P such that Q is a subset of X or Q is disjoint from X. Suppose U is a nonprincipal…

For a topological space $X$ its reflection in a class $\mathsf T$ of topological spaces is a pair $(\mathsf T X,i_X)$ consisting of a space $\mathsf T X\in\mathsf T$ and continuous map $i_X:X\to \mathsf T X$ such that for any continuous map…

Suppose $\kappa$ is $\lambda$-supercompact witnessed by an elementary embedding $j:V\rightarrow M$ with critical point $\kappa$, and further suppose that $F$ is a function from the class of regular cardinals to the class of cardinals…

Following Baumgartner [J. Symb. Log. 60 (1995), no. 2], for an ideal $\mathcal{I}$ on $\omega$, we say that an ultrafilter $\mathcal{U}$ on $\omega$ is an $\mathcal{I}$-ultrafilter if for every function $f:\omega\to\omega$ there is $A\in…

We continue investigations of reasonable ultrafilters on uncountable cardinals defined in math.LO/0407498. We introduce stronger properties of ultrafilters and we show that those properties may be handled in lambda-support iterations of…

We improve Galvin's Theorem for ultrafilters which are p-point limits of p-points. This implies that in all the canonical inner models up to a superstrong cardinal, every $\kappa$-complete ultrafilter over a measurable cardinal $\kappa$…

In this paper we analyze the connection between some properties of partially strongly compact cardinals: the completion of filters of certain size and instances of the compactness of $\mathcal{L}_{\kappa,\kappa}$. Using this equivalence we…

The aim of this paper is to construct ultrafilters without immediate predecessors in the Rudin-Frolik order in $\beta \kappa\setminus \kappa$, where $\kappa$ is a regular cardinal. This generalizes the problem posed by Peter Simon more than…

We continue our study of the class $\mathscr{C}(D)$, where $D$ is a uniform ultrafilter on a cardinal $\kappa$ and $\mathscr{C}(D)$ is the class of all pairs $(\theta_1, \theta_2),$ where $(\theta_1, \theta_2)$ is the cofinality of a cut in…

We like to develop model theory for $T$, a complete theory in $\mathbb{L}_{\theta,\theta}(\tau)$ when $\theta$ is a compact cardinal. By [Sh:300a] we have bare bones stability and it seemed we can go no further. Dealing with ultrapowers…

We extend Makkai duality between coherent toposes and ultracategories to a duality between toposes with enough points and ultraconvergence spaces. Our proof generalizes and simplifies Makkai's original proof. Our main result can also be…

We characterize sums of normal ultrafilters after the Magidor iteration (product) of Prikry forcings over a discrete set of measurable cardinals. We apply this to show that the weak Ultrapower Axiom is not equivalent to the Ultrapower…

If $\mathcal P$ is a family of filters over some set $I$, a topological space $X$ is \emph{sequencewise $\mathcal P$-\brfrt compact} if, for every $I$-indexed sequence of elements of $X$, there is $F \in \mathcal P$ such that the sequence…

Under MA we prove that for the ideal $\cal I$ of thin sets on $\omega$ and for any ordinal $\gamma \leq \omega_1$ there is an ${\cal I}$-ultrafilter (in the sense of Baumgartner), which belongs to the class ${\cal P}_{\gamma}$ of…

For a general linear supergroup $G=GL(m|n)$, we consider a natural isomorphism $\phi: G \to U^-\times G_{ev} \times U^+$, where $G_{ev}$ is the even subsupergroup of $G$, and $U^-$, $U^+$ are appropriate odd unipotent subsupergroups of $G$.…

Assume $\kappa = \kappa^{< \kappa}$ (usually $\aleph_0$ or an inaccessible). We shall deal with iterated forcings preserving ${}^{\kappa>}{\rm Ord}$ and not collapsing cardinals along a linear order $L$. A sufficient condition for this,…

We show that in the model obtained by iteratively pseudo-intersecting a Ramsey ultrafilter via a length-$\omega_2$ countable support iteration of restricted Mathias forcing over a ground model satisfying $\textsf{CH}$, there is a unique…

Recently the second author introduced combinatorial principles that characterize supercompactness for inaccessible cardinals but can also hold true for small cardinals. We prove that the proper forcing axiom PFA implies these principles…

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…