David Roberts Con(ZF+not WISC)

References

This is the webpage for the currently-being-written paper Con(ZF+¬\negWISC). See also the nLab page for WISC.

Further developments will be worked out here. Some thoughts can be seen, if you really want to read them, in the previous version of this page.

References

Shulman’s paper on stack semantics.

Dorais’ formulation of WISC

van den Berg’s note that proved the consistency of ¬\neg WISC relative to large cardinals (using Gitik’s model).

Karagila’s paper showing consistency of ¬\neg WISC using a variant on models of Monro, Rathjen and Roguski.

Last revised on March 20, 2013 at 04:11:31. See the history of this page for a list of all contributions to it.