# Start a new discussion

## Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

## Site Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeJan 2nd 2010

I wrote about the axiom of small violations of choice (SVC).

I also created multilimit and weak multilimit mostly as stubs, and added some comments to injective object. I also split off homotopically injective object from injective object, since I felt that two different (but related) concepts were being squished together unnaturally.

• CommentRowNumber2.
• CommentAuthorDavidRoberts
• CommentTimeOct 10th 2017

I edited the references to give links and full bibliographic detail. In particular the paper that is listed now as being just by Rathjen had another author in the previous version. I’m not sure what happened, but the published version that I could find only has one author.

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeAug 28th 2019

Added a reference to Simon’s answer on MO showing that SVC is incompatible with $\neg LEM$.

• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)