Tag: independence-results

197 What are some reasonable-sounding statements that are independent of ZFC? 2009-10-22T19:26:48.983

38 How undecidable is the spectral gap? 2015-12-11T22:08:07.250

36 "Simpler" statements equivalent to Con(PA) or Con(ZFC)? 2011-04-24T20:16:29.760

32 Bidi: A new cardinal characteristic of the continuum? 2015-05-12T02:27:47.410

29 Should axiomatic set theory be translated into graph theory? 2016-01-06T08:10:40.483

17 Kaplansky's conjecture and Martin's axiom 2013-09-10T03:03:57.460

16 Nice Algebraic Statements Independent from ZF + V=L (constructibility) 2013-01-04T19:45:16.373

15 Spectra of elements of a Banach algebra and the role played by the Hahn-Banach Theorem. 2012-12-19T02:50:06.410

12 Is every p-point ultrafilter Ramsey? 2011-04-19T18:28:12.957

11 Minimal subset of axioms for ZFC 2010-12-05T13:29:58.307

9 Is the Axiom of Union independent of the rest of ZF? 2011-11-24T15:52:50.290

8 Statements forced by one condition of a poset, but not the whole thing 2011-03-07T16:42:34.760

8 Reference Request: Independence of the ultrafilter lemma from ZF 2011-03-22T09:31:24.103

7 Given a cardinal k, what's the biggest dense linear order with a dense subset of size k? 2010-12-03T23:19:29.127

7 On Consistency of an Existence 2014-06-09T07:37:28.807

7 Independence of the countable axiom of choice 2015-03-14T20:03:14.727

6 Natural statements independent from true $\Pi^0_2$ sentences 2011-11-17T17:50:57.743

6 Formal proof of Con(ZFC) => Con(ZFC + not CH) in ZFC 2012-02-10T19:47:53.043

6 Intuition behind Pincus' "injectively bounded statements" 2013-07-23T07:56:09.667

6 $\omega_2$-sequence of Suslin trees 2017-05-04T13:51:35.240

5 Is there an "undecided" assertion of which a proof that it's not undecidable is known? 2011-09-08T22:10:31.743

5 Relationship between fragments of the axiom of choice and the dependent choice principles 2014-08-13T14:34:28.683

5 What things does ZFC not know if it knows? 2017-11-10T20:04:38.553

3 Is there a formula phi s.t. phi and not-phi have a stronger consistency? 2009-10-31T10:46:02.757

3 Undecidability and holomorphic functions (Reference request) 2013-02-20T14:34:52.630

2 Is the existence of a well-ordering on R independent of ZF? 2009-11-11T22:48:53.670

2 A problem about posets similar to Suslin's problem 2010-11-20T18:14:38.400

2 Experiments physically performable in a finite amount of time whose results are independent of ZFC 2017-11-17T23:26:00.483

0 Wondering if the following set-theoretic assertion is known to be consistent w/ ZFC 2016-12-14T16:48:53.877