All Questions
4 questions
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-...