[FOM] Reference to Friedman 73

[Harvey Friedman]

That is an often cited paper, so probably it is. I don't have Bell's book here.

Harvey

On Sat, Oct 25, 2014 at 7:15 PM, Frode Bjørdal
<frode.bjordal at ifikk.uio.no> wrote:
> There is a reference Friedman (71) in J. L. Bell Intuitionistic Set Theory
> (2014) which is not supported by its bibliography. Is it to the item below
> from Friedman's own bibliography om his web page (under the headline PROOF
> THEORY AND INTUITIONISM ), or another item?
>
> 17. The Consistency of Classical Set Theory Relative to a Set Theory with
> Intuitionistic Logic, J. of Symbolic Logic, Vol. 38, No. 2, (1973), pp.
> 315-319.
>
> Frode
> ..........................................
> Professor Dr. Frode Bjørdal
> Universitetet i Oslo Universidade Federal do Rio Grande do Norte
> quicumque vult hinc potest accedere ad paginam virtualem meam
>
> _______________________________________________
> FOM mailing list
> FOM at cs.nyu.edu
> http://www.cs.nyu.edu/mailman/listinfo/fom
>