MathOverflow
user76284's user avatar
user76284's user avatar
user76284's user avatar
user76284
  • Member for 8 years, 6 months
  • Last seen this week
Profile Activity

18 Questions

Score Activity Newest Views
14 votes
2 answers
584 views

"Inner product" between prime factorizations

14 votes
1 answer
538 views

Projective-invariant differential operator

12 votes
0 answers
509 views

Harvey Friedman's minimalist axioms for set theory

8 votes
1 answer
433 views

Natural $\Pi_1$ sentence independent of PA

7 votes
2 answers
830 views

Regularizing the sum of all primes

6 votes
0 answers
474 views

Darkness in the lamplighter group

5 votes
3 answers
2k views

How strong is this set theory?

5 votes
1 answer
257 views

Program analysis for Turing machines

5 votes
1 answer
156 views

How strong is separation + reflection of unbounded quantifiers?

5 votes
2 answers
378 views

Generalization of the concept of a measure

4 votes
2 answers
572 views

Intermediate results for Langton's ant highway conjecture

3 votes
2 answers
647 views

Shortest axiom of infinity for foundationless set theory

2 votes
0 answers
233 views

Harvey Friedman: The expanding mind

2 votes
0 answers
120 views

Is this variant of bitwise cyclic tag Turing-complete? [closed]

2 votes
1 answer
144 views

Busy beaver sequence for a simple tag-like system

1 vote
0 answers
184 views

Does foundationless Ackermann set theory prove replacement?

1 vote
2 answers
588 views

Generalized limits

0 votes
0 answers
79 views

Polynomial-time algorithm for exact projection to polyhedral cone

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.