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

Jun
23
awarded  Yearling
Jun
17
revised Are Horn clauses always universally quantified?
Horn structure <-> closure under product. Universal Horn structure -> closure under composition
May
21
answered Why do the interesting antihomomorphisms tend to be involutions?
Apr
13
comment Does the “equality semigroup” have an accepted name?
If you introduce the name "subatom" for an element which is either the bottom or an "atom", then you can no longer pretend that you are using established terminology. If you slightly abuse existing terminology on the other hand, then you are just following established mathematical practice. (red herring principle...)
Apr
13
comment Does the “equality semigroup” have an accepted name?
In any partial ordered set with a bottom element, the meet-semilattice of atoms (en.wikipedia.org/wiki/Atom_(order_theory)) is a well-defined semilattice. So I would call it just this: "meet-semilattice of atoms".
Apr
10
answered What does the term “undefined” actually mean?
Mar
17
comment Is there a projective metric on a projective space induced by a p-norm?
cross posted at mathoverflow.net/questions/199839/…
Mar
12
answered Maximal Principle: Why using the new transition matrix $\tilde{P}$?
Mar
12
revised Maximal Principle: Why using the new transition matrix $\tilde{P}$?
either always \tilde{p}, or never...
Mar
6
revised Is there a projective metric on a projective space induced by a p-norm?
Be more precise about what is a projective metric, and what I'm looking for...
Mar
5
asked Is there a projective metric on a projective space induced by a p-norm?
Feb
23
reviewed Close an inequality in Banach algebra
Feb
23
answered How do people who study intensely abstract mathematics “imagine” or understand the concepts they are studying or being taught?
Feb
23
reviewed Leave Open Approximate the size of a set given random items from the set.
Feb
23
reviewed Leave Open I want to find a topologicaly embedding $f : X \rightarrow Y$ and $g: Y \rightarrow X$, yet $X$ is not homeomorphic to $Y$.
Feb
23
reviewed Leave Open Let $(X,d)$ be a compact metric space. Let $f: X \to X$ be such that $d(f(x),f(y)) = d(x,y)$ for all $x,y \in X$. Show that $f $ is onto (surjective).
Feb
22
answered Can every rational function be represented in barycentric form?
Feb
21
comment Can every rational function be represented in barycentric form?
@JohnHughes You mean because $y_j$ is not just a coefficient, but also identical to $r(x_j)$? Maybe you have a good point, and it could be related to my troubles understanding the cited statement.
Feb
21
comment Can every rational function be represented in barycentric form?
In Barycentric Lagrange Interpolation. Jean-Paul Berrut, Lloyd N. Trefethen., the earliest references seem to be from 1997 of Jean-Paul Berrut. This is a case of an author citing another paper of himself as reference, so "it is known" might only refer to a very small set of people...
Feb
21
asked Can every rational function be represented in barycentric form?