# Tagged Questions

**20**

votes

**4**answers

1k views

### When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

Every once in a blue moon it actually matters that some mathematical entity which might a priori only be a class is in fact a set. For clarification, here are some examples of what I do not ...

**48**

votes

**12**answers

9k views

### Logic in mathematics and philosophy

What are the relations between logic as an area of (modern) philosophy and mathematical logic.
The world "modern" refers to 20th century and later, and I am curious mainly about the second half of ...

**9**

votes

**6**answers

880 views

### (Non?)-linearity of the consistency strength ordering in ZF

Much of the research taking place in set theory, is related to the classification of sentences according to their consistency strength relative to ZF. In order to be more specific, we say that for all ...

**6**

votes

**5**answers

1k views

### The unprecedented success of the “intersection” operator

You might think that the title is an overstatement of a well-known fact but it is the best title I can come up with for the wonders the intersection operator does in some fields of math.
...

**35**

votes

**5**answers

3k views

### What's wrong with the surreals?

Of all the constructions of the reals, the construction of the surreals seems the most elegant to me.
It seems to immediately capture the total ordering and precision of Dedekind cuts at a ...

**22**

votes

**8**answers

2k views

### Intuitive and/or philosophical explanation for set theory paradoxes

Every student of set theory knows that the early axiomatization of the theory
had to deal with spectacular paradoxes such as Russel's, Burali-Forti's etc.
This is why the (self-contradictory) ...

**2**

votes

**1**answer

361 views

### “$\kappa$ strongly inaccessible” = “every function $f:V_\kappa\to V_\kappa$ can be self-applied”?

Strongly inaccessible cardinals are usually introduced either as (a) cardinalities of models of ZFC or (b) cardinals which are not the power set of a smaller cardinal nor the supremum of a set with ...

**26**

votes

**14**answers

2k views

### What are interesting families of subsets of a given set?

Motivation
The usual starting point of both Topology and Measure Theory is the definition of a family of subsets of a set $S$.
Indeed, one defines a topology on $S$ to be a family of subsets ...

**4**

votes

**7**answers

1k views

### What can't be described by categories?

I've been reading some "introduction to categories" type materials and have been impressed with the all-encompassing nature, but the skeptic in me wonders: is there any mathematical object that ...