User contributions for Rodya mirov
Results for Rodya mirov talk block log uploads logs global block log global account filter log
A user with 20 edits. Account created on 28 January 2010.
17 October 2012
- 20:2820:28, 17 October 2012 diff hist +103 m Dense-in-itself Made the example slightly more rigorous
- 20:2620:26, 17 October 2012 diff hist +277 Talk:Dense-in-itself →Article has a serious problem: Not really?
30 July 2012
- 14:1814:18, 30 July 2012 diff hist +304 Talk:Model complete theory No edit summary
- 14:1614:16, 30 July 2012 diff hist +87 Model complete theory Fixed a significant mathematical error; QE is equivalent to model completion only in restricted circumstances.
9 May 2012
- 13:5113:51, 9 May 2012 diff hist −5 m U-rank →Ranking Theories: Removed some more math mode. The size issue is significant!
- 13:4813:48, 9 May 2012 diff hist −70 m U-rank →Definition: Fixed the formatting on the inductive definition; math mode looks pretty but the size is gross and wrong
- 13:4513:45, 9 May 2012 diff hist −199 m U-rank →Definition: Fixed the formatting on the inductive definition; math mode looks pretty but the size is gross and wrong
- 13:4213:42, 9 May 2012 diff hist +13 m U-rank Messed with the formatting on the "examples" section
- 12:4512:45, 9 May 2012 diff hist −25 m U-rank Removed "no citations" template, since this is now false
- 12:4412:44, 9 May 2012 diff hist +193 U-rank Added citation to little Pillay
8 May 2012
- 19:2919:29, 8 May 2012 diff hist −121 U-rank Deleted references because I'm bad at formatting
- 19:2819:28, 8 May 2012 diff hist +121 U-rank Added reference (just little Pillay)
- 19:2519:25, 8 May 2012 diff hist +214 N Talk:U-rank ←Created page with 'I just created the page; please expand the article as desired, and edit away any errors if there are any. I will try to also add more sources soon. ~~~'
- 19:2419:24, 8 May 2012 diff hist +1,871 U-rank Expanded to include the list of properties, examples, etc.
- 17:5917:59, 8 May 2012 diff hist +1,189 N U-rank Created a stub with definitions
2 March 2012
- 17:5817:58, 2 March 2012 diff hist −30 Picard group Removed the "technical" tag- this is basically a consistent vandalism on graduate+ level math pages (or maybe a running joke, I don't know)
- 17:5617:56, 2 March 2012 diff hist +542 Talk:Picard group →Holy Jargon, Batman!
8 April 2011
- 02:2802:28, 8 April 2011 diff hist −209 Saturated model →Motivation: Attemped to cleanup the jargon; rewrote the whole section but changed very little content (except for adding an example, which should make it more clear)
- 02:0902:09, 8 April 2011 diff hist +1,896 Saturated model →Examples: Added some formatting, added a negative example for contrast, expanded some of the explanations, intended to make it more comprehensible to those who don't already know the content
- 01:3701:37, 8 April 2011 diff hist +408 Talk:Saturated model →to realize a type
