Related papers: The nonstationary ideal on P_\kappa(lambda) for la…

We investigate the class of models of a general dependent theory. We continue math.LO/0702292 in particular investigating so called "decomposition of types"; thesis is that what holds for stable theory and for Th(Q,<) hold for dependent…

We prove that $\alpha_M(\lambda)$ can be successor of a supercompact cardinal, when $\lambda$ is a Magidor cardinal. From this result we obtain the consistency of $\alpha_M(\lambda)$ being a successor of a singular cardinal with uncountable…

We show that an embedding of a fixed 0-dimensional compact space $K$ into the \v{C}ech--Stone remainder $\omega^*$ as a nowhere dense P-set is the unique generic limit, a special object in the category consisting of all continuous maps from…

We investigate the provability of classical combinatorial theorems in ZF. Using combinatorial arguments, we establish the following results for each infinite cardinal ${\kappa}\in On$, (1) ${\kappa}^+\to ({\kappa},{\omega}+1)$, (2) any…

Hellsten \cite{MR2026390} proved that when $\kappa$ is $\Pi^1_n$-indescribable, the \emph{$n$-club} subsets of $\kappa$ provide a filter base for the $\Pi^1_n$-indescribability ideal, and hence can also be used to give a characterization of…

In the original version of this paper, we assume a theory $T$ that the logic $\mathbb L_{\kappa, \aleph_{0}}$ is categorical in a cardinal $\lambda > \kappa$, and $\kappa$ is a measurable cardinal. There we prove that the class of model of…

A ccc-generically supercompact cardinal $\kappa$ can be smaller than or equal to the continuum. On the other hand, such a cardinal $\kappa$ still satisfies diverse largeness properties, like that it is a stationary limit of ccc-generically…

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 point out some connections between existence of homogenous sets for certain edge colorings and existence of branches in certain trees. As a consequence, we get that any locally additive coloring (a notion introduced in the paper) of a…

Let $G$ be an infinite compact group. We prove that for every cardinal $\kappa$ between the density and the weight of $G$, there exists a dense subgroup of $G$ of density $\kappa$.

We study nonmetric analogues of Vietoris solenoids. Let $\Lambda$ be an ordered continuum, and let $\vec{p}=\langle p_1,p_2,\dots\rangle$ be a sequence of positive integers. We define a natural inverse limit space $S(\Lambda,\vec{p})$,…

In this paper we prove a strong nonstructure theorem for kappa (T)-saturated models of a stable theory T with dop.

We prove the consistency of $\mathfrak{r}_\lambda<\mathfrak{d}_\lambda$ and even $\mathfrak{u}_\lambda<\mathfrak{d}_\lambda$ for a singular cardinal $\lambda$.

A permutation group $G$ on a set $A$ is ${\kappa}$-homogeneous iff for all $X,Y\in [A]^{\kappa}$ with $|A\setminus X|=|A\setminus Y|=|A|$ there is a $g\in G$ with $g[X]=Y$. $G$ is ${\kappa}$-transitive iff for any injective function $f$…

In this paper, we study some variations of Namba forcing $\mathrm{Nm}(\kappa,\lambda)$ over $\mathcal{P}_{\kappa}\lambda$ and show that its semiproperness implies $\mathrm{SSR}([\lambda]^{\omega},{<}\kappa)$. In particular, Prikry forcing…

Ordinary infinitary languages L_{lambda, kappa} satisfy the Interpolation Theorem only in the case lambda <= {aleph_1}, kappa = {aleph_0}, this include first order logic of course. There are also some pairs of such logics satifying…

Following a recent paper by Herrlich and Tachtsis, we investigate in ZFC the following compactness question: for which unountable cardinals $\kappa$, an arbitrary nonempty system $S$ of homogeneous $\mathbb Z$-linear equations is…

We prove the consistency of: for suitable strongly inaccessible cardinal lambda the dominating number, i.e. the cofinality of lambda^lambda is strictly bigger than cov(meagre_lambda), i.e. the minimal number of nowhere dense subsets of…

It is shown that every normalized weakly null sequence of length $\kappa_{\lambda}$ in a Banach space has a subsequence of length $\lambda$ which is an unconditional basic sequence; here $\kappa_{\lambda}$ is a large cardinal depending on a…

We show that from a supercompact cardinal \kappa, there is a forcing extension V[G] that has a symmetric inner model N in which ZF + not AC holds, \kappa\ and \kappa^+ are both singular, and the continuum function at \kappa\ can be…