User Bjørn Kjos-Hanssen

3 votes

What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

answered Sep 18, 2020 at 1:49

2 votes

When is a function on symmetric positive definite matrices an expectation of Gaussian?

answered Sep 19, 2020 at 6:56

2 votes

Accepted

"Arithmetically diverse" infinite binary string

answered Sep 10, 2020 at 7:19

2 votes

Examples of conjectures whose direct falsity implies different consequences than indirect falsity

answered Aug 13, 2020 at 1:38

2 votes

The finite subgroups of SU(n)

answered Aug 23, 2021 at 3:21

2 votes

Accepted

Non-summable subsets of $[\omega]^{<\omega}$

answered Oct 25, 2021 at 23:34

2 votes

Accepted

Sets meeting and avoiding computable sets

answered Jan 5, 2023 at 18:46

2 votes

Source on smooth equivalence relations under continuous reducibility?

answered Nov 6, 2019 at 23:04

2 votes

Is $ \{ \frac{1}{n} + \frac{1}{m} : n,m \in \mathbb{N} \}$ dense in some interval of $\mathbb{R}$?

answered Nov 15, 2019 at 7:48

2 votes

NE-Lattice paths from $(0,0)$ to $(n,n)$ with $k$ peaks

answered Nov 15, 2019 at 23:12

2 votes

Examples of statements with a high quantifier complexity

answered Apr 11, 2020 at 23:13

2 votes

Accepted

Expected roots of polynomials with randomness in coefficients

answered Oct 21, 2019 at 4:54

2 votes

Covering subset with large probability

answered Sep 29, 2019 at 7:02

2 votes

Constructive Central Limit Theorem

answered May 26, 2017 at 21:29

2 votes

Efficiency of representations of number

answered Sep 8, 2017 at 6:41

2 votes

Another graph characteristic

answered Jan 10, 2018 at 20:21

2 votes

Accepted

A question on statistically convergent sequences

answered Dec 30, 2017 at 7:53

2 votes

Do you know the reference for this law?

answered Dec 17, 2018 at 7:11

2 votes

Accepted

Correct Proof Of ZBC Theorem From Odifreddi? Also Extension Question

answered Dec 20, 2018 at 7:49

2 votes

Downward density of w-REA sets under arithmetic reducibility?

answered Dec 20, 2018 at 17:21

2 votes

Accepted

Where does the expected value in the restatement of the pseudoregret come from?

answered Mar 9, 2019 at 5:07

2 votes

Samples paths are convex

answered Sep 3, 2019 at 8:01

2 votes

Variously pointed closed sets

answered Jul 23, 2019 at 6:56

2 votes

Accepted

Name for "partially complete" invariants in classification problems?

answered Apr 9, 2018 at 4:50

2 votes

Accepted

Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic

answered Mar 28, 2018 at 18:58

2 votes

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

answered Aug 14, 2014 at 19:07

2 votes

Separability of $R_+\times\mathcal{C}(R_+)$

answered Sep 4, 2014 at 23:38

2 votes

Balls and bins with color

answered Jul 15, 2014 at 9:22

2 votes

Given A set $U$ and a set $\mathcal O$ of subsets of $U$, how many subsets of $\mathcal O$ have union $U$?

answered Jul 17, 2014 at 0:32

2 votes

Accepted

Recovery of probability distribution from a single point

answered Apr 25, 2014 at 6:33

Stack Exchange Network

415 Answers

What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?

When is a function on symmetric positive definite matrices an expectation of Gaussian?

"Arithmetically diverse" infinite binary string

Examples of conjectures whose direct falsity implies different consequences than indirect falsity

The finite subgroups of SU(n)

Non-summable subsets of $[\omega]^{<\omega}$

Sets meeting and avoiding computable sets

Source on smooth equivalence relations under continuous reducibility?

Is $ \{ \frac{1}{n} + \frac{1}{m} : n,m \in \mathbb{N} \}$ dense in some interval of $\mathbb{R}$?

NE-Lattice paths from $(0,0)$ to $(n,n)$ with $k$ peaks

Examples of statements with a high quantifier complexity

Expected roots of polynomials with randomness in coefficients

Covering subset with large probability

Constructive Central Limit Theorem

Efficiency of representations of number

Another graph characteristic

A question on statistically convergent sequences

Do you know the reference for this law?

Correct Proof Of ZBC Theorem From Odifreddi? Also Extension Question

Downward density of w-REA sets under arithmetic reducibility?

Where does the expected value in the restatement of the pseudoregret come from?

Samples paths are convex

Variously pointed closed sets

Name for "partially complete" invariants in classification problems?

Modal collapse upon addition of the law of the excluded middle to an Intuitionistic modal logic

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

Separability of $R_+\times\mathcal{C}(R_+)$

Balls and bins with color

Given A set $U$ and a set $\mathcal O$ of subsets of $U$, how many subsets of $\mathcal O$ have union $U$?

Recovery of probability distribution from a single point