Gro-Tsen's user avatar
Gro-Tsen's user avatar
Gro-Tsen's user avatar
Gro-Tsen
  • Member for 12 years, 7 months
  • Last seen this week
4 votes
1 answer
194 views

Randomly removing length 1 intervals in an interval (a fragmentation process)

6 votes
1 answer
193 views

Results with a flavor “every automorphism of automorphisms is inner”

3 votes
0 answers
150 views

What are the measure of the volume and boundary (and other quermaß measures) of the positive semidefinite matrices?

5 votes
0 answers
130 views

What is known about propositional realizability for the second Kleene algebra and related PCAs?

7 votes
2 answers
282 views

Étendue measure of the set of lines between two Euclidean balls

7 votes
0 answers
129 views

Logical properties of realizability (topoi or McCarty models) defined by alpha-recursion on admissible ordinals

6 votes
1 answer
276 views

Need help in trying to understand an argument by V. A. Yankov on the nonrealizability of Scott's axiom

12 votes
0 answers
238 views

Intuitionistic proofs of propositional formulae versus natural transformations between finite sets

14 votes
1 answer
481 views

How exactly are realizability and the Curry-Howard correspondence related?

12 votes
2 answers
396 views

Trading Choice for Comprehension (or Replacement)

8 votes
2 answers
553 views

Turing degrees of sets separating two computably inseparable sets (theorems and antitheorems)

6 votes
0 answers
145 views

Algorithmic representation of the Spin (and Pin) group [duplicate]

1 vote
1 answer
125 views

Maximal entropy distribution on three variables knowing its marginals on any two

5 votes
0 answers
131 views

Rings over which free modules of a certain rank are reflexive (satisfy Specker's theorem)

6 votes
1 answer
274 views

What is the power of the “anti-halting” oracle?

5 votes
1 answer
99 views

Understanding the definition of a (computably / continuously) “transparent” function

11 votes
2 answers
829 views

What are the iterates of $x \mapsto 1 - \sqrt{1-x^2}$?

4 votes
0 answers
109 views

A kind of “weak” filtered colimit in the effective topos

5 votes
1 answer
245 views

(When) do filtered colimits exist in the effective topos?

7 votes
1 answer
357 views

Consistency of a strong Fubini type theorem for measure zero sets

3 votes
2 answers
244 views

Grouping lists together in a proportional election: image of a Dirichlet distribution by the D'Hondt method of proportional allotment

2 votes
0 answers
70 views

What is known about sublocales defined by regular nuclei?

3 votes
1 answer
205 views

Computing the Heyting operation on the frame of nuclei

9 votes
1 answer
356 views

Various sizes of models of NBG inside NBG (what does a class-sized model give us?)

5 votes
2 answers
483 views

Do germs of open sets around a point form a frame?

3 votes
0 answers
90 views

Constructively valid reference for the soberness of discrete spaces and points of a locale coproduct

6 votes
1 answer
217 views

Dissolution of a topos

5 votes
1 answer
277 views

What is the logical complexity of the Mandelbrot Local Connectivity conjecture? (Is it equivalent to a statement of arithmetic?)

6 votes
3 answers
339 views

Intuition behind Kleene's “second algebra” $\mathcal{K}_2$

8 votes
0 answers
366 views

What is the relationship (if any) between constructivism, finitism and predicativism?

1
2 3 4 5 6