Skip to main content
http -> https
Source Link
Martin Sleziak
  • 4.7k
  • 4
  • 35
  • 40

I would like to read Pincus' article Adding dependent choiceAdding dependent choice, where he proves, among other things, the consistency of the theory $\mathsf{ZF+DC+O+\neg AC}$, where $\mathsf{DC}$ stands for Dependent Choice and $\mathsf{O}$ is the linear ordering principle, i.e. the statement "Every set can be linearly ordered". But in this paper Pincus uses Cohen's original presentation of forcing, which makes it (at least to me) hard to read.

Is there any newer account on his proof (in a thesis, paper etc.), which uses a more modern approach to forcing?
  Thanks!

I would like to read Pincus' article Adding dependent choice, where he proves, among other things, the consistency of the theory $\mathsf{ZF+DC+O+\neg AC}$, where $\mathsf{DC}$ stands for Dependent Choice and $\mathsf{O}$ is the linear ordering principle, i.e. the statement "Every set can be linearly ordered". But in this paper Pincus uses Cohen's original presentation of forcing, which makes it (at least to me) hard to read.

Is there any newer account on his proof (in a thesis, paper etc.), which uses a more modern approach to forcing?
  Thanks!

I would like to read Pincus' article Adding dependent choice, where he proves, among other things, the consistency of the theory $\mathsf{ZF+DC+O+\neg AC}$, where $\mathsf{DC}$ stands for Dependent Choice and $\mathsf{O}$ is the linear ordering principle, i.e. the statement "Every set can be linearly ordered". But in this paper Pincus uses Cohen's original presentation of forcing, which makes it (at least to me) hard to read.

Is there any newer account on his proof (in a thesis, paper etc.), which uses a more modern approach to forcing? Thanks!

Removed from Network Questions by Asaf Karagila

Is there a more modern account of the main results of "Adding Dependent Choice" by D. Pincus?

Became Hot Network Question
Source Link
Lorenzo
  • 2.3k
  • 6
  • 21

"Adding Dependent Choice" by D. Pincus

I would like to read Pincus' article Adding dependent choice, where he proves, among other things, the consistency of the theory $\mathsf{ZF+DC+O+\neg AC}$, where $\mathsf{DC}$ stands for Dependent Choice and $\mathsf{O}$ is the linear ordering principle, i.e. the statement "Every set can be linearly ordered". But in this paper Pincus uses Cohen's original presentation of forcing, which makes it (at least to me) hard to read.

Is there any newer account on his proof (in a thesis, paper etc.), which uses a more modern approach to forcing?
Thanks!