The tag has no usage guidance.

learn more… | top users | synonyms

6
votes
4answers
529 views

Direct axiomatization of ordinal and cardinal numbers

Again, this question is related (**) to a previous one: in standard books on basic set theory, after stating the axioms of ZFC, ordinal numbers are introduced early on. Afterwards cardinals appear: ...
12
votes
1answer
258 views

When can Power Sets be Limit Cardinals?

My original question (posted in http://math.stackexchange.com/questions/1584430/can-all-power-sets-be-limit-cardinals) was: Is it possible to create a model of ZFC, so that the cardinality of each ...
4
votes
1answer
118 views

Ordinals which embed in surreal subfields

If $k$ is an ordered field, the least ordinal $s(k)$ which doesn't embed in $(k,<)$ is regular. This is because every interval of an ordered field embeds in every infinite interval so given a ...
13
votes
1answer
727 views

Does “cardinal arithmetic is well-defined” imply axiom of choice?

Let me quickly explain what I mean with my question. Let $(\kappa_i)_{i\in I}$ be a collection of cardinal numbers, indexed by elements of some set $I$. We can try to define $\sum\limits_{i\in I}\...
15
votes
1answer
1k views

Is it possible to define higher cardinal arithmetics

In number theory there are several operators like ‎addition, ‎multiplication and ‎exponentiation defined from ‎$‎‎‎\omega‎‎\times‎‎\omega‎$ ‎to ‎‎$‎‎‎\omega‎$. Each ‎of ‎them ‎is defined as an ‎...
6
votes
2answers
543 views

Exponentiation and Dedekind-finite cardinals

It is known that the sum and the product of two Dedekind-finite cardinals are also Dedekind-finite cardinals. What about cardinal exponentiation ? Question: Let A and B be two Dedekind-finite ...
13
votes
0answers
445 views

Ideas behind Gitik's solution of PCF conjecture

Recently Moti Gitik has refuted Shelah's PCF conjecture (see Short extenders forcings II ) by proving the following theorem: Theorem. Assuming the consistency of infinitely many strong cardinals, one ...
5
votes
2answers
310 views

For which cardinal numbers $\kappa$ is it consistent with ZFC that $\kappa^{\mathrm{cf}(\kappa)} < \kappa^\kappa$?

ZFC proves that $\kappa^{\mathrm{cf}(\kappa)} \leq \kappa^\kappa$ for all infinite cardinal numbers $\kappa$. Further, it is consistent with ZFC that we always have equality (e.g. assume GCH). ...
5
votes
2answers
273 views

When are all greater cardinals sharply greater?

Makkai and Paré introduced the following binary relation on regular cardinals: given $\kappa$ and $\lambda$, $\kappa \vartriangleleft \lambda$ (read, $\kappa$ is sharply less than $\lambda$) when $\...
5
votes
2answers
311 views

Prevalent singular cardinals hypothesis

The following notion is introduced by Assaf Rinot: Definition. A singular cardinal $\kappa$ is a prevalent singular cardinal iff there exists a family $\mathbb{A}\subset P(\kappa)$ with $|\mathbb{A}...
6
votes
3answers
410 views

Consistency strength of the failure of Shelah's Strong Hypothesis (SSH)

Some known facts about SSH (Shelah's Strong Hypothesis): i) "$0^\sharp$ does not exist" implies SSH. ii) SSH implies SCH (Singular Cardinal Hypothesis). iii) The failure of SCH is equiconsistent ...
7
votes
0answers
200 views

Other variants of the Shelah's Weak Hypothesis

The paper Menachem Kojman. Splitting families of sets in ZFC. arXiv:1209.1307 presents these variants of the Shelah's Weak Hypothesis: $$ (\textrm{SWH}_n) \textrm{ There are no infinite } \...
22
votes
1answer
2k views

Possible troubles in Shelah's book “Cardinal Arithmetic”

I found some possible troubles in Observation 5.3(7) in the Chapter II of the Shelah's book "Cardinal Arithmetic" (page 86). For convenience, I quote the result and the proof in the book here (...
9
votes
1answer
410 views

Some variants of the Shelah's Weak Hypothesis

Are equivalent (in ZFC) the following two statements, for any infinite cardinal $\mu$? (i) For every infinite cardinal $\kappa$, $|\{ \lambda \in \kappa : \lambda \textrm{ is a singular cardinal and} ...
10
votes
1answer
574 views

“cov vs pp” problem

This is the problem $(\beta)$ of the section 14.7 in the "Analytical Guide" of the Shelah's book "Cardinal Arithmetic": $(\beta)$ Is $\operatorname{cov} ( \lambda , \lambda, \aleph_{1} , 2) =^{+} \...
3
votes
3answers
168 views

Subquotients in ZF

In ZF we have the two relations $A \leq B$ and $A \leq^\ast B$ which relate the size of sets: the first says there is an injection from $A$ to $B$, the second that there is a surjection from $B$ to $A$...
5
votes
4answers
361 views

do behavior of gimel or GCH determine all infinte products of cardinals?

Let $Card$ be the class of infinite cardinals and $p\colon Card^2\to Card$ be given by $(\kappa,\lambda)\mapsto\kappa^\lambda$. Assuming GCH it is known that $p(\kappa,\lambda)$ is either $\kappa$ (if ...
1
vote
1answer
408 views

Cardinal Arithmetic, foundations and constructive math

This is not my area but a question occurred to me that I can not find the answer to. There is a very strong axiom of constructibility which ironically gives us highly non-constructive math (GCH is one ...
1
vote
1answer
385 views

About the notions of Grothendieck Universe and Tarski Universe

I assume ZFC. Let $U$ a set with the following (1), (2), (3): 1) $\omega\in U$ 2) $x\in U\ \Rightarrow x\subset U$ 3) $x\in U\ \Rightarrow \mathcal{P}(x)\in U$ (where $\mathcal{P}(x):=${$y| y\...
2
votes
1answer
337 views

A question about cardinal arithmetic

Let [J]: Jech "Set theory" (Millenium edition) Let $\kappa$ a limit ordinal. From [J], T.3.11, p. 33 we have that $\kappa<\kappa^{cf(\kappa)}$. I improved that proof, and obtain : $\kappa <...
9
votes
1answer
504 views

Does this “jumping-ahead” ordinal function exist?

While working on a project in operator algebras with a collaborator (and fellow MO user), we are able to successfully complete a transfinite induction assuming that the following has an affirmative ...
7
votes
1answer
429 views

Is there always an uncountable $\kappa$ such that $\kappa^{\aleph_0}=2^\kappa$?

The cardinal equation $\kappa^{\aleph_0}=2^\kappa$ is satisfied by $\kappa=\aleph_0$. It is also satisfied by any $\kappa$ for which $MA(\kappa)$ holds. Under $GCH$, the equation is satisfied by $\...