Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan's user avatar
Rob Arthan
  • Member for 13 years, 8 months
  • Last seen this week
17 votes
1 answer
500 views

Axiomatizations of the real exponential field

7 votes
0 answers
263 views

Problem with Shelah and Stern's paper on the Hanf number of the theory of Banach spaces

6 votes
1 answer
422 views

"Archimedeanising" an ordered field

4 votes
2 answers
410 views

Universal functors according to Cohn.

4 votes
1 answer
384 views

When is the Kochen-Stone inequality an equality?

3 votes
0 answers
81 views

Bisimulation in the solution-set formulation of the anti-foundation axiom

3 votes
0 answers
644 views

Simple proof of the Lebesgue density theorem in $\Bbb{R}^n$

2 votes
1 answer
199 views

Diagonal terms in the Kochen Stone inequality

2 votes
1 answer
260 views

Universal constructions that factor through endomorphisms

1 vote
1 answer
82 views

A Kolmogorov inequality for sums of contiguous subsequences

0 votes
1 answer
75 views

Definition of a system of recurrent events