Skip to main content
3 votes
Accepted

(When) are recursive "definitions" definitions?

This answer elaborates on my comments above. My impression from your question is that you are interested in definitions in the technical sense of mathematical logic (rather than the informal notion of ...
Alex Kruckman's user avatar
2 votes

Putnam 2008 B2 -- Soft Question

I really do not know what the judges would do. It isn't so hard to prove the result in question directly though. In particular, observe the string of inequalities $$\frac{1}{n+1} \quad \le \quad \int_{...
Mike's user avatar
  • 21.2k
1 vote

Redundancy in the definition of uniform spaces

No. If you take $\Phi = \{\Delta\}$, it satisfies Definition B. However, it is not a uniformity.
J.-E. Pin's user avatar
  • 40.7k

Only top scored, non community-wiki answers of a minimum length are eligible