User contributions for Pqnelson
Jump to navigation
Jump to search
16 October 2011
- 17:0117:01, 16 October 2011 diff hist +53 Definition:Grothendieck Universe No edit summary
- 15:4115:41, 16 October 2011 diff hist +680 Definition:Grothendieck Universe No edit summary
- 15:3915:39, 16 October 2011 diff hist +1,345 User talk:Pqnelson →Class Theory and the Universe
- 02:2502:25, 16 October 2011 diff hist +723 ProofWiki talk:Current events/ITP 2011 →Re: "Making the proof structures more rigid": new section
- 02:1402:14, 16 October 2011 diff hist +238 N User:Pqnelson Created page with "I'm a mathematician, and write notes on math which are then posted on my [http://notebk.googlecode.com notebook]. Right now I am looking at the foundations of mathematics, specif..." current
- 02:1202:12, 16 October 2011 diff hist +3,696 N Definition talk:Universe (Set Theory) Created page with "Hello, I just stumbled across this wiki accidentally, and I'm currently writing up notes on this very subject. So I thought I would discuss some rather esoteric stuff that I did..."
- 01:5201:52, 16 October 2011 diff hist +652 Definition:Universe (Set Theory) Revised some confusion on the "universal class" of sets...