Related papers: Strong independence and its spectrum

For $n<\omega$, we say that the $\Pi^1_n$-reflection principle holds at $\kappa$ and write $\text{Refl}_n(\kappa)$ if and only if $\kappa$ is a $\Pi^1_n$-indescribable cardinal and every $\Pi^1_n$-indescribable subset of $\kappa$ has a…

It is a simple fact that a subgroup generated by a subset $A$ of an abelian group is the direct sum of the cyclic groups $\langle a\rangle$, $a\in A$ if and only if the set $A$ is independent. In [5] the concept of an $independent$ set in…

Let M denote the ideal of first category subsets of R. We prove that min{card X: X \subseteq R, X \not\in M} is the smallest cardinality of a family S \subseteq {0,1}^\omega with the property that for each f: \omega -> \bigcup_{n \in…

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…

The independence number of a graph G, denoted by alpha(G), is the cardinality of an independent set of maximum size in G, while mu(G) is the size of a maximum matching in G, i.e., its matching number. G is a Konig-Egervary graph if its…

We show that for any cardinal $\omega<\kappa \leq \mathfrak{c}$ with $cf(\kappa) > \omega$, there are $\mathfrak{c}$ many AD families whose $\Psi$-spaces are pairwise non-homeomorphic and they can be Luzin families or branch families of…

Recent results of Hindman, Leader and Strauss and of the second author and Rinot showed that some natural analogs of Hindman's Theorem fail for all uncountable cardinals. Results in the positive direction were obtained by Komj\'ath, the…

Let G=(V,E) be a graph. A set S is independent if no two vertices from S are adjacent. The independence number alpha(G) is the cardinality of a maximum independent set, and mu(G) is the size of a maximum matching. The number…

For every uncountable cardinal $\kappa$ there are $2^\kappa$ nonisomorphic simple AF algebras of density character $\kappa$ and $2^\kappa$ nonisomorphic hyperfinite II$_1$ factors of density character $\kappa$. These estimates are maximal…

In this paper we study for a given azimuthal quantum number $\kappa$ the eigenvalues of the Chandrasekhar-Page angular equation with respect to the parameters $\mu:=am$ and $\nu:=a\omega$, where $a$ is the angular momentum per unit mass of…

Let $X$ be a set, $\ka$ be a cardinal number and let $\iH$ be a family of subsets of $X$ which covers each $x\in X$ at least $\ka$ times. What assumptions can ensure that $\iH$ can be decomposed into $\kappa$ many disjoint subcovers? We…

We show that if the existence of a supercompact cardinal is consistent with ZFC, then it is consistent with ZFC that the p-rank of Ext_Z(G, Z) is as large as possible for every prime p and any torsion-free abelian group G . Moreover, given…

We study conditions on automorphisms of Boolean algebras of the form $P(\lambda)/I_\kappa$ (where $\lambda$ is an uncountable cardinal and $I_\kappa$ is the ideal of sets of cardinality less than $\kappa$) which allow one to conclude that a…

In the context of large cardinals, the classical diamond principle Diamond_kappa is easily strengthened in natural ways. When kappa is a measurable cardinal, for example, one might ask that a Diamond_kappa sequence anticipate every subset…

Answering questions of A. Avil\'es, F. Cabello S\'anchez, J. Castillo, M. Gonz\'alez and Y. Moreno we show that the following statements are independent of the usual axioms ZFC with arbitrarily large continuum: for every (some)…

A simplified construction is presented for Komj\'ath's result that for every uncountable cardinal $\kappa$, there are $2^\kappa$ graphs of size $\kappa$ none of them being a minor of another.

Assuming $\mathfrak b = \mathfrak c$ (or some weaker statement), we construct a compactification $\gamma\omega$ of $\omega$ such that its remainder $\gamma\omega\setminus\omega$ is nonseparable and carries a strictly positive measure.

Kunen's proof of the non-existence of Reinhardt cardinals opened up the research on very large cardinals, i.e., hypotheses at the limit of inconsistency. One of these large cardinals, I0, proved to have descriptive-set-theoretical…

For a cardinal of the form $\kappa=\beth_\kappa$, Shelah's logic $L^1_\kappa$ has a characterisation as the maximal logic above $\bigcup_{\lambda<\kappa} L_{\lambda, \omega}$ satisfying Strong Undefinability of Well Order (SUDWO). SUDWO is…

In this paper, we establish sharp thresholds on the independence number of the comaximal subgroup graph $\Gamma(G)$ that guarantee solvability, supersolvability, and nilpotency of the underlying group $G$. Specifically: \begin{itemize}…