Skip to main content
MathOverflow
Farmer S's user avatar
Farmer S's user avatar
Farmer S's user avatar
Farmer S
  • Member for 4 years
  • Last seen this week
Profile Activity
Stats
9,167
reputation
42k
reached
84
answers
0
questions
Communities
Badges
View all badges
This user doesn’t have any gold badges yet.
23
silver badges
40
bronze badges
Top tags
View all tags
635
Score
83
Posts
99
Posts %
385
Score
51
Posts
61
Posts %
176
Score
22
Posts
26
Posts %
127
Score
17
Posts
20
Posts %
86
Score
12
Posts
14
Posts %
83
Score
11
Posts
13
Posts %
Top posts
View all questions and answers
26
Extending sets to extensional sets
Apr 8, 2022
17
A Löwenheim–Skolem–Tarski-like property
Nov 22, 2023
14
If $L_\alpha \vDash ZFC$, then do we have $L_{\alpha+1} \vDash \alpha\text{ is inaccessible}$?
Mar 15, 2022
14
Undefinable inner model
Feb 13
14
Cardinals without Axiom of choice?
Dec 15, 2023
14
Detecting uncountable cardinals in $(\mathbb{R};+,\times,\mathbb{N})$
Jul 28, 2021
13
Is $\mathsf{ZFC+V=L}$ consistently $\omega$-complete?
Mar 8, 2021
13
Can $\mathcal{L}_{\omega_1,\omega}$ detect $\mathcal{L}_{\omega_1,\omega}$-equivalence?
Jan 19, 2022
13
Projective well-ordered sets, higher up
Dec 15, 2023
13
How much Dependent Choice is provable in $Z_2$? And what about Projective Determinacy?
Dec 24, 2023
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