Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia's user avatar
Mike Battaglia
  • Member for 11 years, 9 months
  • Last seen this week
31 votes
1 answer
2k views

Are Conway's omnific integers the Grothendieck group of the ordinals under commutative addition?

27 votes
1 answer
2k views

Are Conway's combinatorial games the "monster model" of any familiar theory?

26 votes
4 answers
3k views

What "metatheory" did early set theory/logic researchers use to prove semantic results?

23 votes
1 answer
2k views

Skeleton category of the category of skeleton categories?

22 votes
1 answer
3k views

What's the difference between ZFC+Grothendieck, ZFC+inaccessible cardinals and Tarski-Grothendieck set theory?

22 votes
1 answer
2k views

Are classes still "larger" than sets without the axiom of choice?

16 votes
3 answers
1k views

Interpreting Conway's remark about using the surreals for non-standard analysis

16 votes
1 answer
793 views

Can you build the surreal numbers as a simple direct limit of ordered fields?

13 votes
1 answer
792 views

“Taylor series” is to “Volterra series” as “Padé approximant” is to _________?

13 votes
3 answers
1k views

What did Paul Cohen mean by saying that generic sets of natural numbers have "no asymptotic density?"

12 votes
2 answers
1k views

Fourier transform of the critical line of zeta?

11 votes
1 answer
279 views

Probability distribution derived from gamma function - does it have a name?

11 votes
4 answers
1k views

Surreal numbers, ultrapowers of $\Bbb R$, ordinal-valued functions and the slow-growing hierarchy

11 votes
0 answers
217 views

Representation of the space of lattices in $\Bbb R^n$

10 votes
2 answers
3k views

How can the simply typed lambda calculus be Turing-incomplete, yet stronger than second-order logic?

9 votes
2 answers
681 views

Using three-valued logic for set theory with singletons and equality

9 votes
2 answers
586 views

A "surnatural numbers" as a largest model of the natural numbers

9 votes
1 answer
265 views

Transfinitely iterating the Levi-Civita, Hahn or Puiseux constructions

9 votes
1 answer
513 views

Pontryagin dual of the surreal numbers?

8 votes
3 answers
689 views

In $L$, does there exist a definable non-principal ultrafilter on $\mathbb{N}$

8 votes
1 answer
583 views

"Surjective cardinals" - using surjections rather than injections to define isomorphism classes of sets

7 votes
2 answers
640 views

Generalized Grassmannians that parameterize the submodules of a module

6 votes
1 answer
1k views

Surreal numbers and large cardinals

6 votes
1 answer
742 views

Variations on the Mellin and Dirichlet transforms

6 votes
2 answers
507 views

"Lebesgue-measurable" cardinals and real-closed fields

6 votes
1 answer
664 views

Inverse limit of $\Bbb Q/q\Bbb Z$ isomorphic to finite adeles?

6 votes
1 answer
249 views

Extending the topology on a set to the group/vector space it generates

6 votes
1 answer
347 views

Looking for infinite series resembling an exponential

6 votes
1 answer
833 views

Are algebroids "just matrices"?

5 votes
0 answers
225 views

Surreal numbers and the ultrafilter lemma