Questions tagged [cardinal-arithmetic]
The cardinal-arithmetic tag has no usage guidance.
9
questions
33
votes
4
answers
3k
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 ...
17
votes
2
answers
529
views
Raising the index of accessibility
In the standard reference books Locally presentable and accessible categories (Adamek-Rosicky, Theorem 2.11) and Accessible categories (Makkai-Pare, $\S$2.3), it is shown that for regular cardinals $\...
13
votes
1
answer
824
views
When can Power Sets be Limit Cardinals?
My original question (posted in https://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 ...
11
votes
1
answer
502
views
What is the cofinality of $([\kappa]^\omega, \subseteq)$?
For an uncountable cardinal $\kappa$, we are interested in the least size of a cofinal subset of the partial order $([\kappa]^\omega, \subseteq)$. It is obvious that this cofinality is at least $\...
9
votes
4
answers
1k
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: ...
8
votes
0
answers
346
views
Model for "$\kappa$ limit cardinal iff $2^\kappa$ limit cardinal"
Is there a model of ${\sf (ZFC)}$ such that in the model we have that $\kappa$ is a limit cardinal if and only if $2^\kappa$ is a limit cardinal?
6
votes
2
answers
445
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 $\...
1
vote
1
answer
191
views
Self-embeddings of uncountable total orders
A nice theorem of Dushnik and Miller (from 1940) states that if $(\Omega,\leq)$ is a countable total order, then either
there is an element $\omega \in \Omega$ such that $(\Omega \setminus \{\omega\}...
1
vote
1
answer
153
views
On cardinality of generating subsets of some submodules
Let $R$ be a commutative ring with unity. Let $\alpha$ be an infinite cardinal . Let $M$ be an $R$-module such that $\mu(M)< \alpha$ . Let $N$ be a submodule of $M$ and $m\in M$ and $r\in R$ be ...