Daniel Mehkeri's user avatar
Daniel Mehkeri's user avatar
Daniel Mehkeri's user avatar
Daniel Mehkeri
  • Member for 13 years, 9 months
3 votes
Accepted

Hyperarithmetic statements decidable by induction up to a recursive ordinal

2 votes

Proof strength of Calculus of (Inductive) Constructions

1 vote

Alternative Arithmetics

5 votes
Accepted

Enumerating levels of Grzegorczyk-hierarchy

2 votes

Is finitism an extreme form of constructivism?

3 votes
Accepted

Cardinal numbers vs collections of cardinal numbers

6 votes
Accepted

Radix notation and toposes

10 votes

Does constructing non-measurable sets require the axiom of choice?

2 votes

Flat regions on surfaces of genus greater than 1

3 votes

What are some mathematical sculptures?

7 votes

Are real numbers countable in constructive mathematics?

5 votes

How is it that you can guess if one of a pair of random numbers is larger with probability > 1/2?

15 votes

What are the most attractive Turing undecidable problems in mathematics?

4 votes

Number of non-Abelian groups of order $2^n$

5 votes
Accepted

von dyck groups and solvability

3 votes

Incompleteness and nonstandard models of arithmetic

2 votes

Is set-induction relatively consistent?