MathOverflow
Fedor Pakhomov's user avatar
Fedor Pakhomov's user avatar
Fedor Pakhomov's user avatar
Fedor Pakhomov
  • Member for 10 years, 2 months
  • Last seen this week
Profile Activity
Stats
5,383
reputation
17k
reached
48
answers
3
questions
Communities
Badges
View all badges
1
gold badge
18
silver badges
26
bronze badges
Top tags
View all tags
262
Score
49
Posts
96
Posts %
104
Score
19
Posts
37
Posts %
85
Score
15
Posts
29
Posts %
72
Score
12
Posts
24
Posts %
39
Score
6
Posts
12
Posts %
30
Score
7
Posts
14
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
20
Is the set of primes implicitly definable from successor?
Jul 10, 2022
question
14
Are there signatures escaping from Tennenbaum's Theorem?
Nov 8, 2021
answer
11
Is choice over definable sets equivalent to AC over axioms of ZF-Reg.?
Nov 25, 2021
answer
11
What subsystem of second-order arithmetic is needed for the recursion theorem?
Jul 21, 2020
answer
11
Ordinal analysis and proofs of consistency
Jun 8, 2019
answer
10
Is there a theory in a finite language that is computably axiomatizable but not by a finite number of axiom schemas?
Jun 19, 2020
answer
10
Infinite descending consistency chains
Jan 13, 2019
answer
10
Is restricting Replacement and Separation enough to make $Q+I\Sigma_n$ bi-interpretable with Set Theory?
Feb 12, 2019
question
9
Ordinal notations within non-standard models of arithmetic
Jun 10, 2019
answer
8
Reverse Mathematics strength of fixed radius covering theorem
Mar 28, 2022
Top network posts
View all network posts
6
Does $\omega$-consistency of ZF imply $\omega$-consistency of ZFC

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.