This tag is for questions about cardinals and related topics such as cardinal arithmetics, regular cardinals and cofinality. Do not confuse with [large-cardinals] which is a technical concept about strong axioms of infinity.

learn more… | top users | synonyms (1)

14
votes
0answers
113 views

There's no cardinal $\kappa$ such that $2^\kappa = \aleph_0$

I am trying to prove that there is no cardinal $\kappa$ such that $2^\kappa = \aleph_0$ . My attempt: We suppose it exists. Since $\kappa<2^\kappa$, in particular, $\kappa<\aleph_0$. But ...
12
votes
0answers
432 views

Formulations of Singular Cardinals Hypothesis

I have stumbled on a few different formulations of the Singular Cardinals Hypothesis. The most common are: SCH1: $\quad 2^{cf(\kappa)}<\kappa \ \Longrightarrow \ \kappa^{cf(\kappa)}=\kappa^+$ for ...
11
votes
0answers
156 views

Sets of Cardinals without choice

I have a theory that the axiom of choice is equivalent to the statement that sets of distinct cardinals are well ordered by cardinality. I can prove that the axiom of choice implies this. However I am ...
7
votes
0answers
92 views

Raising a partial function to the power of an ordinal

Consider a set $X$, and let $f : X \rightarrow X$ denote a partial function. Then for natural $n$, we can define $f^n$ as iterated composition, e.g. $f^2 = f \circ f$. Now suppose that $X$ is also ...
7
votes
0answers
238 views

About singular $\beth_{\alpha}$ for limit ordinals $\alpha$

Why are there cofinitely many regular cardinals of type $\beth_{\beta}$ below any given singular $\beth_{\alpha}$, if $\alpha$ is a limit ordinal?
6
votes
0answers
133 views

Is there an upper bound to the number of rings that can be obtained from a semigroup with zero by defining an additive operation?

Let $\mathscr S$ be the class of all semigroups with zero. For $(S,\times,0)\in\mathscr S,$ I want to count additive operations $+$ on $S$ such that $(S,+,\times,0)$ is a ring (possibly without ...
5
votes
0answers
68 views

For cardinals, if $\mathfrak{a}\ne\mathfrak{b}$ then $2^\mathfrak{a}\ne 2^\mathfrak{b}$

In the usual ZF (or ZFC) set theory, let $\mathfrak{a}$ and $\mathfrak{b}$ be cardinal numbers. Is it correct that one can neither prove nor disprove the statement: $$\mathfrak{a}\ne\mathfrak{b} ...
5
votes
0answers
179 views

Is there a simple example of a ring that satifies the DCC on two-sided ideals, but doesn't satisfy the ACC on two-sided ideals?

It follows from the Hopkins–Levitzki theorem that if a ring satisfies the DCC on left ideals, then it also satisfies the ACC on left ideals. I've been trying to find a counterexample to the following ...
4
votes
0answers
36 views

finding a bijective function from the real plane to the real line

As part of a HW assignment in the course elementary set theory, I was given the following question: Prove explicitly (don't use any theorems or known facts, but find a bijective function) that ...
4
votes
0answers
63 views

$\mu$-clubs and stationary sets consisting of elements with cofinality $\mu$

Let $\mu < \kappa$ be infinite cardinals. A set $C$ is called a $\mu$-club in $\kappa$, if it is unbounded in $\kappa$ and contains all its limit points of cofinality $\mu$. Now let $T \subset S ...
4
votes
0answers
43 views

Can every cardinal number between $\kappa^+$ and $2^\kappa$ be realized in this way?

(Assume ZFC for the entire question. By a tree, I mean a tree in the sense of set theory. I write $h(T)$ for the height of a tree $T$, and $h(f)$ for the height of an element $f \in T$.) Definition ...
4
votes
0answers
86 views

$\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0}\cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$

I'd like someone to check my proof that $\aleph_\alpha^{\aleph_1} = \aleph_\alpha^{\aleph_0} \cdot 2^{\aleph_1}$ for all $\omega \le \alpha < \omega_1$. First, let's prove that ...
4
votes
0answers
93 views

Solovay Theorem

Solovay's Theorem states If $\kappa$ is regular uncountable, then any stationary set in $\kappa$ can be partitioned into $\kappa$-many pairwise disjoint stationary sets. For regular uncountable ...
4
votes
0answers
80 views

Is $X$ pseudocompact

The following example with a little modified from the handbook of set theoretic topology, Page 574: Let $\kappa$ be any cardinal for which there exists a family $\{H_\alpha: \alpha < \kappa\}$ ...
4
votes
0answers
46 views

Cardinal characteristics — generalisation?

I'm just reading about what is called cardinal characteristics of the continuum. For example there are the bounding number $\mathfrak b$ and the dominating number $\mathfrak d$ etc. which are defined ...
4
votes
0answers
177 views

Property of Galvin-Hajnal rank

In what follows, $\|\Phi\|_I$ means the Galvin-Hajnal rank of a function $\Phi:\kappa \to Ord$ with respect to a $\omega_1$-complete ideal $I$ of $\kappa$. Lemma 2.2.5 of Introduction to Cardinal ...
3
votes
0answers
64 views

Is it possible to create division via Set Theory?

I've been reading a book on Set Theory (Charles C. Pinter), and it says, ...set theory is recognized to be the cornerstone of the "new" mathematics... [emph. added] and that ...we can still ...
3
votes
0answers
65 views

A problem with an assumption in a previous lemma for the proof of Silver's Theorem on SCH in Jech's “Set Theory”

In the Jech's textbook proof of Silvers Theorem, specifically in the Lemma 8.15, there are an assumption in the beginning of the proof. First, the Lemma 8.15 says that, under the assumption that ...
3
votes
0answers
112 views

$\mathfrak b \leq \mathfrak r$. Is this proof correct?

I am trying to prove that $\mathfrak b \leq \mathfrak r$ where $\mathfrak r$ is the minimal cardinality of a reaping family of sets. A family $\mathcal R \subseteq [\omega]^\omega$ of sets $\mathcal ...
3
votes
0answers
70 views

Which Field Would You Use to Represent a Group Larger than $\aleph _1$?

I understand that in representation theory we try to understand a group $G$ by studying the homomorphisms $\rho\ \colon G \to $ GL$(V)$ where $V$ is a vector space over some field. I believe complex ...
3
votes
0answers
130 views

Can any large cardinal axiom be reached by a recursive sequence of unbounded sequences and fixed points?

The lowest large cardinals can be seen as a simple recursive rule that defines an unbounded sequence, then defines a fixed point of the sequence, then an unbounded sequence of fixed points, a fixed ...
2
votes
0answers
26 views

Existence of infinite set and axiom schema of replacement imply axiom of infinity

I'm self-teaching an intro to set theory course, and came across this exercise: Show that the existence of an infinite set is equivalent to the existence of an inductive set. For the notion of ...
2
votes
0answers
27 views

What mean $L(\mathbb{R})$ and $L(\mathbb{R})^*$?

I found them relating a cardinality question here. Does it have anything to do with regularity/computability?
2
votes
0answers
41 views

What is exactly meant by a countable collection in the defintion of a sigma-algebra

This a just a small question about the definition of a sigma-algebra and what is eaxactly meant by countable? Would be grateful for any clarification on this. Most texts define a sigma-algebra ...
2
votes
0answers
105 views

Why are large cardinal axioms actually axioms?

A cardinal is an isomorphism class in ZFC, or a representative of one. I'm not asking what the significant uses of large cardinals are, or why we would want to find them or construct them; I'm ...
2
votes
0answers
27 views

(S is a proper class wrt model M) implies ((|T|=|S| under model N) implies (T is a proper class wrt M)). Why?

If I understand correctly (which is far from guaranteed, so a reply telling me that it is rubbish will be better than no reply at all): Suppose we have two models N and M such that N is a ...
2
votes
0answers
57 views

A question on semi-stratifiable spaces

A space $(X,\tau)$ is called semi-stratifiable if there exists a function $g:\omega\times X\to\tau$ such that: (i) for any point $x$ of $X$ holds $\{x\}=\bigcap_{n\in\omega} g(n,x)$; (ii) for any ...
2
votes
0answers
81 views

A quick question about proof of Bukovský-Hechler

The following is an exercise in Just/Weese (page 179), Question 1: can you tell me if I got it right? Thank you! Question 2: Shouldn't it be equality rather than less equals in $\mu = \sum_{\alpha ...
1
vote
0answers
32 views

Mathematics with and without continuum hypothesis

This is a follow-up to a recent question. Are there "interesting" differences between CH-mathematics and (non-CH)-mathematics? Has anybody developed mathematics with c = $\aleph_2$? $\aleph_3$? ... ...
1
vote
0answers
46 views

How to calculate the dimension of an infinite direct product of copies of a field?

Let $F$ be a field and $I$ an arbitrary infinite index set. I'd like to know how to calculate the dimension of $\prod_{i\in I}F$. By the way, I know $\dim(\prod_{i\in I}F)\geqslant ...
1
vote
0answers
30 views

Clarification on the proof of Theorem 8. 11 (Hungerford)

If $\alpha$ and $\beta$ are cardinal numbers such that $0\neq \beta \leq \alpha$ and $\alpha$ is infinite, then $\alpha\beta=\alpha.$ Sketch: Let $A$ be an infinite set with $|A|=\alpha$ and let ...
1
vote
0answers
37 views

A question regarding Silver's Theorem

I am reading Jech's book Introduction to Set Theory. As an introduction to Silver's theorem, it is stated that: If $\aleph_\alpha$ is a strong limit cardinal and if $k < \aleph_\alpha$ and ...
1
vote
0answers
49 views

Existence(?) of a set whose cardinality cannot be determined in ZFC

(First, I apologize if I display any fundamental misunderstanding of how set theory works.) I had a question regarding the limitations of ZFC (assuming its consistency, of course.) Is there any ...
1
vote
0answers
57 views

Is there an axiom for ZFC that totally orders Cichon's diagram without collapsing it?

Is there a known axiom for ZFC that: Fixes a total ordering on the cardinal numbers appearing in Cichon's diagram. Is "natural looking" - in particular, its not allowed to be a conjunction of ...
1
vote
0answers
51 views

Characterizability in $L^2_{\kappa^+\omega}$

I'm reading an article on second order characterizability. At some point in the article it proves that any model $A$ of cardinality $\kappa$ must be characterizable in $L^2_{\kappa^+\omega}$. I.e. ...
1
vote
0answers
42 views

Is it true that $\dim(X) \leq \dim(X^{\ast})$ for every infinite dimentional banach space $X$?

So given an arbitrary infinite dimensional Banach space $X$ can we deduce that it's dimension $\dim(X)$ (the cardinality of one of it's Hamel bases) is less or equal of the dimension $\dim(X^{\ast})$ ...
1
vote
0answers
46 views

Decomposition of an infinite set into pairwise disjoint subsets which exhaust set does not affect cardinality

Show that if $X$ is an infinite set and $A$ is subset of the power set of $X$ containing only finite pairwise disjoint sets such that the union of all elements of $A$ is $X$, then cardinalities of $X$ ...
1
vote
0answers
67 views

stationary subset of $cf(\kappa)$

Let $\kappa$ a infinite cardinal with uncountable cofinality and $S\subset\kappa$. We can find a normal function $f$ from $\operatorname{cf}(\kappa)$ on $\kappa$ such that ...
0
votes
0answers
16 views

Cardinality relation between reducible sets

Suppose we are considering natural numbers, set $A$ and $B$ are two subsets of the natural number set, suppose set $A$ is many-one reducible to set $B$, i.e. there is a total computable function $f$ ...
0
votes
0answers
21 views

finding an injective function to prove cardinality equality

As part of a HW assignment in the course elementary set theory, I was given the following question: Prove that the set of all binary sequences (sequences of $0$ and $1$) except for the binary ...
0
votes
0answers
28 views

Show that same cardinal number defines and equivalence relation

Same cardinal number must satisfy all three properties : symmetry, reflexivity, transitivity Symmetry Suppose bijection $f:A→A$, Then by definition, |A| = |A| Reflexivity Suppose bijections ...
0
votes
0answers
19 views

Cardinality of symmetric density functions relative to the cardinality of all density functions

Is there anyone who has some idea bout the following question? $X=$(total number of all pairs of probability density functions $(f_0,f_1)$ on the real numbers) and let $Y=$(total number of all ...
0
votes
0answers
26 views

Finite sum over uncountable set

Consider the sum $S=\sum_{x\in I}P(x)$, where $P(x)$ are positive real numbers. When the index set $I$ is finite, $S$ is of course finite. When $I$ is countably infinite, it is also possible that $S$ ...
0
votes
0answers
59 views

Vector spaces over Z/2Z,countably many predicates added,invariant

Suppose we have a class of vector spaces over $Z/2Z$ with predicates $P_n,n\in N$ added for independent subspaces of co-dimension 2. (BTW, independent in which sense,$P_n$ is independent with ...
0
votes
0answers
11 views

CH is preserved under a $Fn(\kappa,\lambda)$ forcing? (Kunen IV.7.10)

The following is Exercise IV.7.10 in the 2013 edition of Kunen's "Set Theory": Let $M$ be a countable, transitive model for ZFC. In $M$, let $\aleph_0 \le \kappa < \lambda$ be cardinals and ...
0
votes
0answers
39 views

Connection beween closure property in forcing and preservation of $H_{\kappa}$

I would like to know about the relation between closure property of forcing notions and preservation of hierarchy of hereditary small sets, $\langle H_\lambda \mid \lambda\in \mathrm{Card}\rangle$, at ...
0
votes
0answers
26 views

Prove $α · β ≤ α · γ$ and $α^ β ≤ α^ γ$ for any three cardinals, where $ β ≤ γ$.

This is what I did: a. let $|A|=α, |B|=β, |C|=γ. |B|≤|C|$ and therefore there is an injection $f: B \to C$, such that $f(b)=c$ for some $b \in B, c \in C.$ Upgrading this function to ...
0
votes
0answers
62 views

What is an undefinable ordinal? How large are the least undefinable ordinal and supremum of all undefinable ordinals?

What does it mean to say that a particular ordinal/cardinal number is "definable"? Where and how do we define this "definability"? If there are undefinable ordinals/cardinals, how large are the least ...
0
votes
0answers
41 views

Applications of Infinitary Matrices in Set Theory

Matrices have a natural generalization to infinitary context. There are few known applications of such matrices in set theory. For example one may use Ulam matrices to show that real-valued measurable ...
0
votes
0answers
99 views

Existence of a Banach space with algebraic dimension $\alpha \neq \aleph_0$

For any given cardinal number $\alpha \neq \aleph_0$, is there a Banach space $X$ with algebraic dimension $\alpha$?