Skip to main content

All Questions

2 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
9 votes
0 answers
149 views

Are there good criteria for the topological models where BD-N and BD hold?

A (non-empty/inhabited) subset $S$ of $\mathbb{N}$ is said to be pseudo-bounded if for every sequence $x_n$ in $S$ we have $\lim_{n\to \infty} \frac{x_n}{n} = 0$ Clearly all bounded subsets are pseudo-...
saolof's user avatar
  • 1,947
2 votes
0 answers
156 views

Do Grothendieck topoi with enough points satisfy the fan theorem internally?

Fourman and Hylland proved in the 80s that all spatial topoi satisfy the full fan theorem internally, while there are examples of localic topoi that do not satisfy it. This leads one to conjecture a ...
saolof's user avatar
  • 1,947