4
votes
1answer
67 views

Ultraproducts by countably complete ultrafilter

I've recently learned about ultraproducts, but the source I learned from almost immediately after the definitions restricted to talking about countably incomplete ultrafilters. I know that the ...
2
votes
1answer
76 views

How $|\mathbb R|$ is not weakly compact

$\mathbb R$, of cardinality $|\mathbb R|=2^{\aleph_0}$ is not weakly compact. So there is a function $f$ from $[{\mathbb R}]^2$ (the subsets of $\mathbb R$ of size 2) to $\{0,1\}$ such that there is ...
5
votes
2answers
380 views

The tree property for non-weakly compact $\kappa$

In my previous question, Weakly-compact cardinals, I was asking about weakly-compact cardinals and equivalent definitions to the basic one, which is $\kappa \to (\kappa)^2_2$. One of which was that ...