Skip to main content
Trevor Wilson's user avatar
Trevor Wilson's user avatar
Trevor Wilson's user avatar
Trevor Wilson
  • Member for 16 years, 5 months
  • Last seen more than a month ago
29 votes

Examples of common false beliefs in mathematics

26 votes
Accepted

Continuous functions $f$ with $f(A)$ linearly independent when $A$ is independent

21 votes
Accepted

What's the difference between ZFC+Grothendieck, ZFC+inaccessible cardinals and Tarski-Grothendieck set theory?

18 votes

What "forces" us to accept large cardinal axioms?

18 votes
Accepted

Removing large cardinals from an uncountable transitive model

15 votes

2D problems which are easier to solve in 3D

14 votes
Accepted

What is the consistency strength of weak Vopenka's principle?

11 votes
Accepted

Countable structures with uncountable many automorphisms

11 votes

Which large cardinals have a Matryoshka characterization?

9 votes

Why are stationary limits so ubiquitous when studying large cardinals?

9 votes

Failure of the GCH

9 votes
Accepted

Punctuation and Other Rules for Variables and Their Verbal Definitions in Math Narrative

8 votes
Accepted

Intuitive descriptions of some large cardinals

7 votes
Accepted

Assuming AD, is every infinite cardinal closed under power set in a choice model?

7 votes

When does the choice of the generic matter?

7 votes

Slim Kurepa tree at a singular strong limit cardinal of uncountable cofinality

7 votes
Accepted

Weakly homogeneous trees under AD

7 votes
Accepted

How strong is "all up-classes are infinitarily definable"?

6 votes
Accepted

Consequences of existence of a certain function from $\omega_1$ to $\omega_1$

6 votes
Accepted

$\Theta$ and the Hartogs of $2^\mathbb R$

6 votes

What consistency results follow the assumption: $\forall\alpha(\aleph_{\alpha+1}\nleq2^{\aleph_\alpha})$?

5 votes
Accepted

Suslin representation of sets and limits to Shoenfield's Absoluteness

5 votes
Accepted

Universally Baire Tree Representation of Projective Sets

5 votes
Accepted

Are there trees for $(\Sigma^2_1)^{\text{uB}}$?

5 votes
Accepted

In search of a set theory with specific properties

5 votes

Why can't an explicit well-ordering of the reals be ruled out in ZF?

5 votes

Relation between $\neg \square(\kappa)$ and the tree property at $\kappa$.

5 votes

Projectively definable family of sets of reals

5 votes

Examples of conjectures that were widely believed to be true but later proved false

5 votes
Accepted

To find an element of a $\Pi^1_1$ set