Question

If ZFC has a model then the union of ZFC with the negation of inaccessible cardinals has a model

score 165 · Answer 1 · 2016-06-03 21:32:40

165

Views

If ZFC has a model then the union of ZFC with the negation of inaccessible cardinals has a model

Published on 03 Jun 2016 - 21:32

score 175 · Answer 2 · 2016-06-12 13:14:11

175

Views

Are there any constructive axioms which disprove the continuum hypothesis?

Published on 12 Jun 2016 - 13:14

score 194 · Answer 3 · 2016-06-13 14:17:32

194

Views

A question about the relative sizes of Measurable and Supercompact Cardinal Numbers.

Published on 13 Jun 2016 - 14:17

score 359 · Answer 4 · 2016-06-16 16:46:09

359

Views

Are these strengthenings of a rank-into-rank cardinal axiom known to be inconsistent with $ZFC$?

Published on 16 Jun 2016 - 16:46

score 539 · Answer 5 · 2016-06-29 17:40:58

539

Views

Appealing axioms incompatible with large cardinal axioms

Published on 29 Jun 2016 - 17:40

score 1.3k · Answer 6 · 2013-04-11 02:12:53

1.3k

Views

Is the class of all ordinals independent of set theory?

Published on 11 Apr 2013 - 2:12

score 158 · Answer 7 · 2026-03-28 06:59:54

158

Views

A reference that forcing with a poset of cardinality less than $\kappa$ preserves supercompact cardinals

Published on 28 Mar 2026 - 6:59

score 141 · Answer 8 · 2013-04-13 23:30:05

141

Views

What are the "ordinary" (e.g. arithmetic) consequences of the universe axiom?

Published on 13 Apr 2013 - 23:30

score 572 · Answer 9 · 2026-03-26 04:35:15

572

Views

Is the expressive power of infinitary logic language $L(\infty,\infty)$ larger, the same or smaller than that of ZFC+large cardinal axioms?

Published on 26 Mar 2026 - 4:35

score 214 · Answer 10 · 2013-04-20 11:49:31

214

Views

Are large cardinals bi-interperable with type theory?

Published on 20 Apr 2013 - 11:49

score 1.3k · Answer 11 · 2013-04-28 10:00:00

1.3k

Views

On the large cardinals foundations of categories

Published on 28 Apr 2013 - 10:00

score 174 · Answer 12 · 2026-03-28 10:41:36

174

Views

Existence of a probability measure under which a subset of $[0,1]$ cannot be approximated by a Borel set

Published on 28 Mar 2026 - 10:41

score 270 · Answer 13 · 2013-05-17 03:48:11

270

Views

Can any large cardinal axiom be reached by a recursive sequence of unbounded sequences and fixed points?

Published on 17 May 2013 - 3:48

score 271 · Answer 14 · 2013-05-24 05:58:44

271

Views

Is there still any hope that the GCH could be equivalent to some large cardinal axiom?

Published on 24 May 2013 - 5:58

score 339 · Answer 15 · 2013-05-28 22:08:07

339

Views

Measurable $\rightarrow$ Mahlo

Published on 28 May 2013 - 22:08

List Question

If ZFC has a model then the union of ZFC with the negation of inaccessible cardinals has a model

Are there any constructive axioms which disprove the continuum hypothesis?

A question about the relative sizes of Measurable and Supercompact Cardinal Numbers.

Are these strengthenings of a rank-into-rank cardinal axiom known to be inconsistent with $ZFC$?

Appealing axioms incompatible with large cardinal axioms

Is the class of all ordinals independent of set theory?

A reference that forcing with a poset of cardinality less than $\kappa$ preserves supercompact cardinals

What are the "ordinary" (e.g. arithmetic) consequences of the universe axiom?

Is the expressive power of infinitary logic language $L(\infty,\infty)$ larger, the same or smaller than that of ZFC+large cardinal axioms?

Are large cardinals bi-interperable with type theory?

On the large cardinals foundations of categories

Existence of a probability measure under which a subset of $[0,1]$ cannot be approximated by a Borel set

Can any large cardinal axiom be reached by a recursive sequence of unbounded sequences and fixed points?

Is there still any hope that the GCH could be equivalent to some large cardinal axiom?

Measurable $\rightarrow$ Mahlo

Trending Questions

Popular # Hahtags

Popular Questions