Skip to main content
MathOverflow
Greg Kirmayer's user avatar
Greg Kirmayer's user avatar
Greg Kirmayer's user avatar
Greg Kirmayer
  • Member for 6 years, 4 months
  • Last seen this week
Profile Activity
Stats
1,234
reputation
9k
reached
24
answers
0
questions
Communities
Badges
View all badges
1
gold badge
7
silver badges
5
bronze badges
Top tags
View all tags
79
Score
24
Posts
100
Posts %
76
Score
23
Posts
96
Posts %
24
Score
5
Posts
21
Posts %
22
Score
5
Posts
21
Posts %
9
Score
3
Posts
12
Posts %
8
Score
2
Posts
8
Posts %
Top posts
View all questions and answers
9
Strengthening Quine's New Foundations with a more flexible stratification criterion?
Nov 16, 2022
8
Can we have a theory that define small (ZFC set sizes) collections of big sets?
Sep 15, 2019
6
Can stratification be used to internalize external functions inside models of $\sf ZF$?
Sep 16, 2024
5
Can Z + Ranks + Successor cardinals + Ordinal inaccessibility be equal to ZF?
Apr 30, 2021
5
Can we go in the direction opposite of Cantor's arguments for cardinal comparisons between sets belonging to disjoint hierarchies?
Sep 10, 2021
5
Can we internalize a bijection between a set and its powerset in this way?
Oct 10, 2021
5
If we add stratified\acyclic replacement to the wholeness axiom, would that increase its consistency strength?
Jan 10, 2023
4
Can stratification be used to internalize functions on models of $\sf Z$?
Sep 16, 2024
3
Is acyclic ZF consistent?
Feb 15, 2021
3
A question about definable elements in a model of ZFC
Mar 10, 2022