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
comment
comment
Representability of finite metric spaces
By the way, important to note that the matrix is $n\times n$ (and not $(n+1)\times (n+1)$) :)
comment
The upper bound of edges of the generalized cactus graphs
Hello! Do you have any results about these 2-cactus graphs in which every edge belongs to at most 2 simple cycles?
revised
Loading…
comment
awarded
awarded
comment
Sets meeting and avoiding computable sets
@JoelDavidHamkins Thanks, Richard Shore told me about that at some point but a reminder was helpful.
comment
Sets meeting and avoiding computable sets
@JoelDavidHamkins I think Spector constructed a minimal Turing degree using "uniform" trees and those don't suffice to force bi-immunity. Can you do fusion arguments with those trees?
comment
Sets meeting and avoiding computable sets
@JoelDavidHamkins I don't think he advertised it as such, but maybe.
answered
Loading…
comment
Solve system of logical equations
Doesn't quite fit with XOR-SAT en.wikipedia.org/wiki/… so I don't know.
awarded
revised
Loading…
comment
Which monoids have a faithful irreducible representation?
I added an example for "If M is a finite monoid, then all minimal left ideals of M are isomorphic as left M-sets" now :)
Loading…
awarded
awarded
awarded
1
2
3 4 5
84