Stack Exchange

Trevor Wilson

Oxford, Ohio, USA

http://www.users.miamioh.edu/wilso240/

top accounts reputation activity subscriptions

Top Questions

Does the pointclass of universally Baire sets always have the uniformization property?

set-theory lo.logic descriptive-set-theory asked Nov 1, 2017 at 0:31

mathoverflow.net

Can measures be added by forcing?

set-theory lo.logic forcing large-cardinals asked Oct 28, 2012 at 1:50

mathoverflow.net

Well-orderings and the perfect set property

set-theory descriptive-set-theory well-orders asked May 19, 2013 at 23:29

math.stackexchange.com

Does this consequence of measurability in terms of games of length $\omega+1$ imply measurability?

set-theory lo.logic model-theory large-cardinals asked Aug 15, 2018 at 0:12

mathoverflow.net

Sets that are not $\infty$-Borel

set-theory descriptive-set-theory asked Apr 17, 2014 at 2:06

mathoverflow.net

The Chang model after collapsing an inaccessible limit of Woodins

lo.logic set-theory descriptive-set-theory determinacy asked Jun 10, 2015 at 2:13

mathoverflow.net

Does every nonempty definable finite set have a definable member?

logic set-theory asked Sep 17, 2012 at 4:44

math.stackexchange.com

Two-cardinal diamond principles and saturation of the nonstationary ideal

set-theory lo.logic asked Oct 3, 2011 at 20:16

mathoverflow.net

Lists of open problems in set theory

set-theory big-list open-problem asked Sep 23, 2012 at 0:54

math.stackexchange.com

Injection of union into disjoint union

set-theory axiom-of-choice asked Mar 6, 2013 at 21:03

math.stackexchange.com

Top Answers

Implies ($\Rightarrow$) vs. Entails ($\models$) vs. Provable ($\vdash$)

math.stackexchange.com

What was the first bit of mathematics that made you realize that math is beautiful? (For children's book)

math.stackexchange.com

What is the proof that the total number of subsets of a set is $2^n$?

math.stackexchange.com

How is this a number sequence $58, 26, 16, 14, 10$

math.stackexchange.com

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

mathoverflow.net

Examples of common false beliefs in mathematics

mathoverflow.net

Why does the power rule work?

math.stackexchange.com

If $A^2$ is invertible, then $A$ is also invertible?

math.stackexchange.com

Is there a simple group of any (infinite) size?

math.stackexchange.com

What would base $1$ be?

math.stackexchange.com

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

mathoverflow.net

As a TA, how should I address the professor's difficult curriculum?

academia.stackexchange.com

Removing large cardinals from an uncountable transitive model

mathoverflow.net

Are there any nontrivial examples of contradictions arising in non-foundational or applied math due to naive set theory?

math.stackexchange.com

flaw in the proof of Cantor's theorem? does the set of all sets exist?

math.stackexchange.com

Transfinite Induction and the Axiom of Choice

math.stackexchange.com

Which sets are present in every model of ZF?

math.stackexchange.com

2D problems which are easier to solve in 3D

mathoverflow.net

Can an uncountable set be indexed?

math.stackexchange.com

What "forces" us to accept large cardinal axioms?

mathoverflow.net

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

mathoverflow.net

Sequence Notation -- Which brackets to use?

math.stackexchange.com

Function such that $f(x) = -1$ for $x < 0,$ and $f(x)=1$ for $x > 0$?

math.stackexchange.com

The exam time was less than the students expected

academia.stackexchange.com

ZF Extensionality axiom

math.stackexchange.com

What does the integer span of one irrational, and one (possibly irrational) real number look like in $\mathbb{R}$?

math.stackexchange.com

Definition about "infinitely often"

math.stackexchange.com

Refuting the Anti-Cantor Cranks

math.stackexchange.com

What is the meaning of $\frac{0}{0}$?

math.stackexchange.com

Countable structures with uncountable many automorphisms

mathoverflow.net