Greg Kirmayer's user avatar
Greg Kirmayer's user avatar
Greg Kirmayer's user avatar
Greg Kirmayer
  • Member for 5 years, 3 months
  • Last seen this week
9 votes
Accepted

Strengthening Quine's New Foundations with a more flexible stratification criterion?

8 votes
Accepted

Can we have a theory that define small (ZFC set sizes) collections of big sets?

5 votes

Can Z + Ranks + Successor cardinals + Ordinal inaccessibility be equal to ZF?

5 votes

Can we go in the direction opposite of Cantor's arguments for cardinal comparisons between sets belonging to disjoint hierarchies?

5 votes
Accepted

Can we internalize a bijection between a set and its powerset in this way?

5 votes
Accepted

If we add stratified\acyclic replacement to the wholeness axiom, would that increase its consistency strength?

3 votes
Accepted

Can we interpret Reinhardt cardinals this way?

3 votes
Accepted

Is acyclic ZF consistent?

3 votes

A question about definable elements in a model of ZFC

2 votes
Accepted

Can Ackermann theory minus foundation minus class comprehension permit allowing every proper subclass of $V$ to be a set?

2 votes
Accepted

Can we allow defined predicates and functions in reflection?

2 votes
Accepted

What's the consistency strength of this form of reflection?

2 votes
Accepted

Is this reflection schema equivalent to second order Bernays reflection?

2 votes
Accepted

Is it consistent to add a generalization axiom on top of Ext.+Subworld Separation+Reduciblity?

2 votes
Accepted

Can ZFC commit cardinality errors?

2 votes
Accepted

What are the known conditions for a restriction on naive comprehension that enables a generalization of a property all so constructed sets meet?

2 votes
Accepted

Can we have a hybrid comprehension between Z and NF?

1 vote

What is the consistency strength of adding this ordinal reflection scheme on top of Ackermann set theory?

1 vote
Accepted

What is the proof of replacement from Bernays first order reflection?

1 vote
Accepted

What does the Concordant constructible universe model?

1 vote

Can we allow defined predicates and functions in reflection?