Skip to main content
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen's user avatar
Bjørn Kjos-Hanssen
  • Member for 14 years, 9 months
  • Last seen this week
5 votes
Accepted

How does the Constructibility Degree of a real compare with its Turing Degree?

5 votes
Accepted

Every infinite c.e.language is infinite or finite union of regular languages including at least one infinite regular language?

5 votes
Accepted

Linearly ordered set arithmetic: reference request

5 votes

Are there any results on well-quasi-ordering of languages?

5 votes
Accepted

Meta-incomputability

5 votes
Accepted

About another potential characterization of normal numbers

5 votes

uniquely determining a distribution using moments

5 votes
Accepted

Supremum of a stochastic process

5 votes

Is there a standard term for this graph/set theoretic concept?

5 votes

What was Hilbert's view of Gödel's Incompleteness Theorems?

5 votes
Accepted

An infinite version of the Dilworth theorem

5 votes
Accepted

Are there infinite many two sided prime numbers?

5 votes

What does the KL being symmetric tell us about the distributions?

5 votes
Accepted

Partitioning an infinite cardinal $\kappa$ into pairwise neighboring subsets

4 votes

Value of an integral

4 votes

Gödel's ontological proof & Benzmüller's work

4 votes
Accepted

Is this ordering on the set of all covers of $\omega$ a (complete) lattice?

4 votes

General topological space with closure operation as in Russian translation of Hausdorff's 1914 and 1927 Mengenlehre

4 votes
Accepted

When are events in tail $\sigma$-algebra the limsup of some sequence of events?

4 votes

Need help with a model, Whatsapp data analysis

4 votes
Accepted

Hausdorff interval topology on distributive lattices

4 votes

Intuition for the infinite cardinals p and t (now that p = t)?

4 votes

Generating random curves with fixed length and endpoint distance

4 votes

Connections between algebraic semantics and computational complexity of a logic?

4 votes

Is Kakutani's Theorem true for the Euclidean plane?

4 votes

How does proof assistant organize knowledge?

4 votes
Accepted

Non-asymptotic results in probabilistic number theory

4 votes
Accepted

Order-embedding, but no lattice embedding between distributive lattices

4 votes
Accepted

How to define the input of computable function or Turing machine over real numbers

4 votes
Accepted

Is there a mistake in Vapnik's "Basic Lemma"?

1
3 4
5
6 7
14