Colin Tan's user avatar
Colin Tan's user avatar
Colin Tan's user avatar
Colin Tan
  • Member for 5 years, 1 month
  • Last seen more than a month ago
  • Singapore
34 votes
3 answers
4k views

Alternatives to the law of the excluded middle

5 votes
2 answers
263 views

Modulo $x^2 + y^2 - 1$, is every homogeneous polynomial that is a square of a polynomial, necessarily of sum of squares of homogeneous polynomials?

5 votes
1 answer
216 views

Is the interior of the tensor product of two convex cones equal to the tensor product of their respective interiors?

4 votes
2 answers
258 views

Is the order arithmetic of the positive reals o-minimal?

1 vote
0 answers
83 views

Doing reverse mathematics by regarding modal logic as weak first-order logic

1 vote
1 answer
207 views

Explicit description of the space of global sections of a torus invariant Weil divisor over a real toric variety

1 vote
1 answer
88 views

abstract description of the topology on a real vector space defined by the algebraically open sets

0 votes
1 answer
92 views

Does $\sum_{|S| \text{ even}} f(S) \le \sum_{|T| \text{ even}} f(T)$ hold for all nondecreasing submodular functions f?

-3 votes
1 answer
180 views

can the square of a polynomial be written as a sum of squares of polynomials with only even degree terms?