Reputation
3,632
Top tag
Next privilege 5,000 Rep.
Approve tag wiki edits
Badges
1 10 37
Newest
 Yearling
Impact
~72k people reached

Jul
12
comment Which natural number predicates can be defined in Robinson arithmetic?
@hardmath I tied to clarify this now. It turns out that I just want to know whether transitivity, reflexivity and antisymmetry can be proved for a suitable definition (by a first order formula in $Q$) of $x\leq y$. I'm quite convinced that this isn't possible for the definition given in the question, so either one has to come up with a definition for which this can be proved, or show that no such definition can exist.
Jul
12
revised Which natural number predicates can be defined in Robinson arithmetic?
Added the requested clarification
Jul
12
asked Which natural number predicates can be defined in Robinson arithmetic?
Jul
10
revised Can a biased physical random source be post-processed to control the bias?
edited tags
Jul
10
revised Can a biased physical random source be post-processed to control the bias?
edited tags
Jul
10
asked Can a biased physical random source be post-processed to control the bias?
Jul
7
comment Which biased random sources can be obtained from an unbiased one?
The expanded answer is even more awesome. And it is actually a quite canonical procedure, in a certain sense.
Jul
7
comment Which biased random sources can be obtained from an unbiased one?
Cool, I'm glad I asked. But you surely mean one can get every $p\in \mathbb Q\cap[0,1]$, not every $p\in[0,1]$. Or what would you do for $p=1/\sqrt{2}$?
Jul
7
accepted Which biased random sources can be obtained from an unbiased one?
Jul
7
asked Which biased random sources can be obtained from an unbiased one?
Jul
2
awarded  Curious
Jul
2
awarded  Inquisitive
Jun
25
accepted Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
25
answered Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
23
awarded  Yearling
Jun
22
asked Are these two equivalences really as “immediate” as Jean-Yves Girard claims?
Jun
19
reviewed Looks OK $R[x]$ can be an integral extension of $R$?
Jun
19
reviewed Reject For $R$-modules $M,N$, what are sufficient conditions for $\operatorname{Supp}(M\otimes_R N)\subseteq \operatorname{Supp}(\operatorname{Hom}_R(M,N))$?
Jun
19
reviewed Reject Noetherian ring and prime ideal contained in an invertible maximal ideal.
Jun
19
reviewed Leave Open 3 random numbers to describe point on a sphere