User Mike Battaglia

31 votes

1 answer

2k views

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

asked Jul 25, 2012 at 0:41

27 votes

4 answers

3k views

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

asked Apr 15, 2018 at 21:48

27 votes

1 answer

2k views

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

asked Apr 29, 2020 at 5:57

23 votes

1 answer

2k views

Skeleton category of the category of skeleton categories?

asked Feb 8, 2013 at 23:52

23 votes

1 answer

3k views

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

asked Jul 22, 2012 at 0:38

22 votes

1 answer

2k views

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

asked Apr 30, 2018 at 22:52

17 votes

1 answer

840 views

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

asked Nov 10, 2022 at 18:29

16 votes

3 answers

2k views

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

asked Mar 18, 2022 at 4:09

15 votes

3 answers

1k views

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

asked Jan 15, 2021 at 19:13

14 votes

1 answer

900 views

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

asked Jul 22, 2019 at 19:42

12 votes

2 answers

3k views

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

asked Jan 30, 2019 at 2:55

12 votes

2 answers

1k views

Fourier transform of the critical line of zeta?

asked Dec 5, 2015 at 12:02

11 votes

1 answer

283 views

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

asked Nov 10, 2015 at 23:20

11 votes

4 answers

1k views

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

asked Feb 8, 2014 at 2:49

11 votes

0 answers

239 views

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

asked Jun 24, 2019 at 20:13

10 votes

1 answer

643 views

Infinitary logics and the axiom of choice

asked Jun 20 at 4:59

10 votes

1 answer

999 views

What gets to be called a "proper class?"

asked Jun 26 at 10:27

9 votes

1 answer

687 views

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

asked Jan 30, 2019 at 5:07

9 votes

2 answers

663 views

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

asked Mar 18, 2022 at 5:05

9 votes

1 answer

313 views

Transfinitely iterating the Levi-Civita, Hahn or Puiseux constructions

asked Apr 6, 2022 at 9:51

9 votes

2 answers

734 views

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

asked Jul 19, 2023 at 20:13

9 votes

1 answer

526 views

Pontryagin dual of the surreal numbers?

asked Sep 23, 2015 at 21:49

8 votes

3 answers

740 views

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

asked Jan 21, 2014 at 7:04

7 votes

2 answers

689 views

Generalized Grassmannians that parameterize the submodules of a module

asked Jun 21, 2012 at 8:53

6 votes

1 answer

2k views

Surreal numbers and large cardinals

asked Mar 23, 2013 at 7:43

6 votes

1 answer

822 views

Variations on the Mellin and Dirichlet transforms

asked May 10, 2015 at 23:14

6 votes

2 answers

513 views

"Lebesgue-measurable" cardinals and real-closed fields

asked Sep 12, 2015 at 22:25

6 votes

1 answer

708 views

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

asked Nov 10, 2015 at 23:18

6 votes

1 answer

249 views

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

asked Jun 28, 2016 at 22:14

6 votes

1 answer

351 views

Looking for infinite series resembling an exponential

asked Jan 22, 2019 at 0:26

Stack Exchange Network

57 Questions

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

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

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

Skeleton category of the category of skeleton categories?

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

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

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

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

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

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

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

Fourier transform of the critical line of zeta?

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

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

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

Infinitary logics and the axiom of choice

What gets to be called a "proper class?"

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

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

Transfinitely iterating the Levi-Civita, Hahn or Puiseux constructions

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

Pontryagin dual of the surreal numbers?

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

Generalized Grassmannians that parameterize the submodules of a module

Surreal numbers and large cardinals

Variations on the Mellin and Dirichlet transforms

"Lebesgue-measurable" cardinals and real-closed fields

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

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

Looking for infinite series resembling an exponential