Skip to main content
MathOverflow
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin's user avatar
Thomas Benjamin
  • Member for 12 years, 11 months
  • Last seen this week
Profile Activity

1,382 Actions

All Accepts Posts Badges Comments Revisions Reviews Suggestions
awarded
 Organizer
reviewed
Close
Representation of $x$-non-monotone curves with one intersection each by $x$-monotone curves
reviewed
Leave Open
From convergence pointwise to convergence of the supremum for semicontinuous functions
reviewed
Close
A claim of Gromov in "Metric Structures for Riemannian and non-Riemannian Spaces"
reviewed
Approve
Reference for representation theory of SL_2(Z/n)
reviewed
Close
Fourier spectrum of two isomorphic functions
reviewed
Close
How to prove the independence of infinite sequence of random variables? (feat. "$N$ bins and $N$ balls" problem)
reviewed
Leave Open
Axiomatic construction of trigonometric functions
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
In reverse mathematics?
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@EmilJeřábek: How ( for example) would you represent the simplest hamiltonian graph (a triangle--three vertices and three edges) by numbers?
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@EmilJeřábek: Can you then characterize all finite hamiltonian graphs by this numbering?
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@EmilJeřábek: Thanks. Very helpful.
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@EmilJeřábek: for a Hamiltonian graph, would the property that makes that graph Hamiltonian also be able to be expressed as a first-order arithmetical statement?
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@NoahSchweber: Thanks, I appreciate it.
revised
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
added tag
revised
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
added tag, corrected misspellings, added relevant details
reviewed
Leave Open
Double integral in a polygon domain
reviewed
Leave Open
Is there relation between eigenvalues of A,B,A+B,AB?
reviewed
Leave Open
An inequality in four variables
comment
What is the weakest subsystem of Second-order Arithmetic (or its first-order part) that proves Szemerédi's Regularity Lemma?
@LSpice: Again, thanks.
1
…
3 4
5
6 7
…
70