Keith Millar's user avatar
Keith Millar's user avatar
Keith Millar's user avatar
Keith Millar
  • Member for 5 years, 5 months
  • Last seen this week
18 votes
0 answers
784 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
652 views

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

5 votes
0 answers
160 views

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

5 votes
1 answer
490 views

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

5 votes
0 answers
300 views

On $ORD$ "satisfying" large cardinal properties

4 votes
1 answer
385 views

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

4 votes
1 answer
235 views

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

4 votes
0 answers
801 views

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

4 votes
1 answer
213 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
134 views

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

3 votes
2 answers
337 views

Strong limit cardinals in AD

3 votes
0 answers
276 views

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

3 votes
2 answers
325 views

Bernays' Reflection Principle Holding in Ranks?

2 votes
1 answer
300 views

Elementary extensions of infinitary languages

2 votes
1 answer
443 views

A weakening of cardinal compactness - is it equivalent?

2 votes
0 answers
144 views

Is there a homotopical analogue of short exact sequence?

1 vote
1 answer
298 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
443 views

On The Explicit-Ness of $\omega_1$

0 votes
1 answer
207 views

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