As of May 31, 2023, we have updated our Code of Conduct.
MathOverflow
Farmer S's user avatar
Farmer S's user avatar
Farmer S's user avatar
Farmer S
  • Member for 2 years, 11 months
  • Last seen this week
Profile Activity
Stats
6,739
reputation
27k
reached
62
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
15
silver badges
28
bronze badges
Top tags
View all tags
420
Score
61
Posts
98
Posts %
270
Score
39
Posts
63
Posts %
153
Score
22
Posts
35
Posts %
88
Score
14
Posts
23
Posts %
67
Score
9
Posts
15
Posts %
54
Score
8
Posts
13
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
25
Extending sets to extensional sets
Apr 8, 2022
answer
13
Is $\mathsf{ZFC+V=L}$ consistently $\omega$-complete?
Mar 8, 2021
answer
13
If $L_\alpha \vDash ZFC$, then do we have $L_{\alpha+1} \vDash \alpha\text{ is inaccessible}$?
Mar 15, 2022
answer
13
Can $\mathcal{L}_{\omega_1,\omega}$ detect $\mathcal{L}_{\omega_1,\omega}$-equivalence?
Jan 19, 2022
answer
12
Logics detecting their own equivalence notions, take two: $\mathcal{L}_{\omega_2,\omega}$
Jan 24, 2022
answer
12
Diagonalizing against $\omega_1$-sequences of functions mod finite
Jun 23, 2021
answer
12
Detecting uncountable cardinals in $(\mathbb{R};+,\times,\mathbb{N})$
Jul 28, 2021
answer
11
Is this relation about elementary embedding transitive?
Feb 28, 2022
answer
10
Can we have mutual elementary embeddability between distinct transitive sets?
Jan 2
answer
10
How far to find a well-order?
Apr 23, 2021
Top network posts
View all network posts
5
Prove by induction on $\alpha < 2^{\aleph_0}$ that $|\mathcal G_\alpha| < 2^{\aleph_0}$ and $\mathcal G_\alpha$ is not an ultrafilter over $\omega$
5
(Long) extender in its own ultrapower

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.