User Keith Millar

18 votes

0 answers

784 views

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

asked Oct 14, 2017 at 4:31

8 votes

4 answers

1k views

Formalizations of The Matchstick Diagram Representation of Ordinals

asked Dec 1, 2017 at 1:50

7 votes

1 answer

652 views

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

asked Aug 31, 2018 at 7:50

5 votes

0 answers

160 views

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

asked Nov 1, 2019 at 17:48

5 votes

1 answer

490 views

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

asked Dec 8, 2019 at 9:10

5 votes

0 answers

300 views

On $ORD$ "satisfying" large cardinal properties

asked Oct 31, 2017 at 0:18

4 votes

1 answer

385 views

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

asked Nov 2, 2017 at 2:27

4 votes

1 answer

235 views

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

asked Nov 5, 2017 at 0:00

4 votes

0 answers

801 views

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

asked Sep 24, 2018 at 18:47

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?

asked Oct 4, 2018 at 6:47

3 votes

0 answers

134 views

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

asked Oct 16, 2018 at 4:28

3 votes

2 answers

337 views

Strong limit cardinals in AD

asked Dec 10, 2017 at 22:59

3 votes

0 answers

276 views

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

asked Dec 16, 2017 at 8:55

3 votes

2 answers

325 views

Bernays' Reflection Principle Holding in Ranks?

asked Oct 21, 2017 at 22:27

2 votes

1 answer

300 views

Elementary extensions of infinitary languages

asked Oct 27, 2017 at 2:37

2 votes

1 answer

443 views

A weakening of cardinal compactness - is it equivalent?

asked Sep 5, 2018 at 1:50

2 votes

0 answers

144 views

Is there a homotopical analogue of short exact sequence?

asked Feb 21 at 2:19

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$?

asked Oct 16, 2017 at 23:10

0 votes

1 answer

443 views

On The Explicit-Ness of $\omega_1$

asked Oct 15, 2017 at 4:55

0 votes

1 answer

207 views

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

asked Nov 6, 2017 at 15:30

Stack Exchange Network

20 Questions

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

Formalizations of The Matchstick Diagram Representation of Ordinals

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

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

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

On $ORD$ "satisfying" large cardinal properties

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

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

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

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

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

Strong limit cardinals in AD

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

Bernays' Reflection Principle Holding in Ranks?

Elementary extensions of infinitary languages

A weakening of cardinal compactness - is it equivalent?

Is there a homotopical analogue of short exact sequence?

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

On The Explicit-Ness of $\omega_1$

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