Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
2 answers
2k views

Truth in a different universe of sets?

I understand that provability and truth as different concepts. Provability is syntactic, it only concerns whether the given sentence can be derived by reiterating the inference rules over a collection ...
7 votes
1 answer
310 views

Does a tight apartness relation on a subobject classifier imply the elementary topos is Boolean?

Given a set $S$, a tight apartness relation on $S$ is a relation $\#$ which is tight, irreflexive, symmetric, and weakly linear, or more specifically, a relation $\#$ such that for all elements $a \...
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 ...
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-...