Kameryn Williams's user avatar
Kameryn Williams's user avatar
Kameryn Williams's user avatar
Kameryn Williams
  • Member for 9 years, 2 months
  • Last seen this week
33 votes

Swimming against the tide in the past century: remarkable achievements that arose in contrast to the general view of mathematicians

26 votes
Accepted

Why do we need "canonical" well orders?

24 votes

Unnecessary uses of the axiom of choice

20 votes

Is there a metamathematical $V$?

16 votes

What flavor of set theory is used in model theory?

11 votes

Interpretation of $ZFC^-$ in 2nd order Peano arithmetic

9 votes
Accepted

Absoluteness of well-orderability

9 votes

Truth Values of Statements in non-standard models

7 votes
Accepted

Choice with well-ordering constant?

7 votes

Is it possible to define an internal model of ZFC which is not set-like and which is not elementary equivalent to any definable set-like model?

6 votes

How should a "working mathematician" think about sets? (ZFC, category theory, urelements)

5 votes
Accepted

Elementary extensions of infinitary languages

5 votes

Has the Ramified Theory of Types been applied to NBG?

5 votes

Are there lightweight foundations for arbitrarily extendable objects?

4 votes

The difference between KP+Inf+Pow and Z