Keith Millar's user avatar
Keith Millar's user avatar
Keith Millar's user avatar
Keith Millar
  • Member for 5 years, 3 months
  • Last seen more than a month ago
18 votes
0 answers
778 views

Is this Variation of the Continuum Hypothesis Inconsistent with ZFC or ZF?

8 votes
4 answers
1k views

Formalizations of The Matchstick Diagram Representation of Ordinals

7 votes
1 answer
638 views

Is the smallest $L_\alpha$ with undefinable ordinals always countable?

5 votes
0 answers
156 views

How much choice is required for a countably-infinite index subgroup of the real additive group?

5 votes
1 answer
478 views

Can the category of partial orders be fully embedded in the category of linear orders?

5 votes
0 answers
298 views

On $ORD$ "satisfying" large cardinal properties

4 votes
1 answer
380 views

How expressive can $\mathcal{L}_{\kappa,\kappa}$ be?

4 votes
1 answer
228 views

Weaker forms of Vopěnka's principle (using Indiscernables and other forms of Elementarity): How weak are they?

4 votes
0 answers
799 views

"Antiforcing" - Is there a method to 'remove' sets from a model of ZF?

4 votes
1 answer
211 views

If $j:V\prec M$ has critical point $κ$ and for any $X\in M$ with $|X|=μ$, $|X|^M=μ$, what properties does $κ$ have?

3 votes
0 answers
131 views

If any satisfiable $\mathcal{L}_{κ,κ}(Q_{=κ})$-theory remains satisfiable when replacing $Q_{=κ}$ with $Q_{=μ}$, is $κ$ huge?

3 votes
2 answers
332 views

Strong limit cardinals in AD

3 votes
0 answers
276 views

How Rowbottom can $\aleph_{\omega}$ be?

3 votes
2 answers
317 views

Bernays' Reflection Principle Holding in Ranks?

2 votes
1 answer
293 views

Elementary extensions of infinitary languages

2 votes
1 answer
435 views

A weakening of cardinal compactness - is it equivalent?

1 vote
1 answer
297 views

Under ZF + DC + AD, is it known what the properties are of the Hartogs number for $\mathcal{P}(\kappa)$ for some $\kappa>\aleph_0$?

0 votes
1 answer
438 views

On The Explicit-Ness of $\omega_1$

0 votes
1 answer
206 views

What strengthenings of measurability do the Mostowski collapses of ultrapowers possess?