2
votes
3answers
129 views

An example of an ordered, uncountable set in $\Bbb R$?

Is there an example of an ordered, uncountable set in $\Bbb R$? My Calculus professor, who likes to keep things simple, defined a sequence in $\Bbb R$ as an "ordered and infinite list of real ...
2
votes
1answer
73 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 ...
2
votes
2answers
87 views

Is the set of all distinct mathematical number types countable?

I was reading this article where the author explains that there are numbers outside the complex set and that you can arbitrarily generate new types using the same method as he described to generate ...
4
votes
0answers
76 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\}$ ...
6
votes
1answer
103 views

How we can understand one category is small

"A category is said to be small if its objects form a set." Now one question is in my mind and that is although we know lots of sets and always working with them, but how we can show a class of ...
3
votes
1answer
86 views

A countale partially ordered set that has an uncountable number of maximal chains

I'm looking for a countable set S with a partial order < that has an uncoubtable number of maximal chains. I had many ideas but non of then is correct (for example- S= natural numbers, "<" is ...
4
votes
1answer
120 views

On $T_2$, first countable, countably compact space

As we know, For every $T_2$, first countable, compact space, its cardinality is not more than $2^\omega$. (See chapter 3 of Engelking's book.) However, I want to know whether the result is ...
1
vote
0answers
208 views

Is there a ccc but not separable space $X$ with a zeroset-diagonal, that isn't submetrizable?

Is there a ccc but not separable space $X$ with a zeroset-diagonal, that isn't submetrizable? separable = $X$ has a countable dense subset. A space $X$ has a zeroset-diagonal when there is a ...
7
votes
3answers
540 views

Simple (even toy) examples for uses of Ordinals?

I want to describe Ordinals using as much low-level mathematics as possible, but I need examples in order to explain the general idea. I want to show how certain mathematical objects are constructed ...
3
votes
3answers
271 views

Defining “Small Classes.”

Question: What is the definition of a small class? Is there no such thing as a set which contains other sets such as {{1,2},{1},{2}, 1, 2} (ie, is this really called a "class")? What are some ...
5
votes
2answers
356 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 ...