User contributions for 176.25.83.71

19 October 2017

• 15:1515:15, 19 October 2017 diff hist 0‎ Shane Legg ‎ →‎Early life
• 14:5614:56, 19 October 2017 diff hist 0‎ Demis Hassabis ‎ →‎Education and early life

12 October 2017

• 17:0817:08, 12 October 2017 diff hist 0‎ Template:Pointclasses ‎No edit summary
• 16:5616:56, 12 October 2017 diff hist +2‎ Arithmetical hierarchy ‎No edit summary

3 October 2017

• 18:3818:38, 3 October 2017 diff hist −4‎ Pentachromacy ‎ →‎Color range in pentachromats
• 14:1214:12, 3 October 2017 diff hist −2‎ Michael Shulman (mathematician) ‎ →‎Blogs

23 September 2017

• 00:1000:10, 23 September 2017 diff hist +22‎ Paul Cohen ‎No edit summary
• 00:0900:09, 23 September 2017 diff hist +6‎ Paul Cohen ‎No edit summary
• 00:0000:00, 23 September 2017 diff hist 0‎ Long Branch, New Jersey ‎No edit summary

22 September 2017

• 20:5420:54, 22 September 2017 diff hist 0‎ Core model ‎No edit summary
• 17:2917:29, 22 September 2017 diff hist +4‎ Richard Jozsa ‎No edit summary
• 15:1015:10, 22 September 2017 diff hist +4‎ Forcing (mathematics) ‎ →‎Countable transitive models and generic filters
• 14:4014:40, 22 September 2017 diff hist −2‎ Axiom of constructibility ‎No edit summary
• 14:4014:40, 22 September 2017 diff hist +11‎ Axiom of constructibility ‎ →‎Implications
• 13:3313:33, 22 September 2017 diff hist −1‎ Multiverse (set theory) ‎No edit summary
• 13:1313:13, 22 September 2017 diff hist +25‎ Richard Borcherds ‎No edit summary
• 12:4112:41, 22 September 2017 diff hist +12‎ Forcing (mathematics) ‎ →‎Intuition
• 12:3712:37, 22 September 2017 diff hist +2‎ Generic filter ‎No edit summary
• 00:0400:04, 22 September 2017 diff hist +125‎ Inner model ‎ clarified definitions

21 September 2017

• 23:0523:05, 21 September 2017 diff hist −40‎ Constructible universe ‎ →‎L is a standard inner model of ZFC: must be proper subclass of V if contains all ordinals of V
• 22:2522:25, 21 September 2017 diff hist +4‎ Inner model ‎No edit summary
• 22:2422:24, 21 September 2017 diff hist −1‎ Inner model ‎No edit summary
• 21:3021:30, 21 September 2017 diff hist 0‎ Joseph Gallian ‎ →‎Professional career
• 21:2721:27, 21 September 2017 diff hist +2‎ Joseph Gallian ‎ →‎Professional career
• 19:3519:35, 21 September 2017 diff hist +4‎ Beck's theorem ‎No edit summary
• 19:3419:34, 21 September 2017 diff hist +29‎ Beck's theorem ‎No edit summary
• 18:3118:31, 21 September 2017 diff hist 0‎ Plural quantification ‎No edit summary
• 18:2918:29, 21 September 2017 diff hist 0‎ Plural quantification ‎ →‎Nominalism
• 18:2418:24, 21 September 2017 diff hist 0‎ Plural quantification ‎No edit summary
• 18:2218:22, 21 September 2017 diff hist +10‎ Plural quantification ‎ →‎Background and motivation
• 17:5417:54, 21 September 2017 diff hist −15‎ Ulrich Kohlenbach ‎No edit summary
• 17:4417:44, 21 September 2017 diff hist −11‎ Proof theory ‎No edit summary
• 17:2917:29, 21 September 2017 diff hist −4‎ Ray Turner (computer scientist) ‎No edit summary
• 15:2015:20, 21 September 2017 diff hist +95‎ Well-quasi-ordering ‎No edit summary
• 14:5214:52, 21 September 2017 diff hist −1‎ Well-quasi-ordering ‎ →‎Motivation
• 00:5000:50, 21 September 2017 diff hist +2‎ Normal morphism ‎No edit summary
• 00:3900:39, 21 September 2017 diff hist 0‎ Additive category ‎ →‎Definition
• 00:3700:37, 21 September 2017 diff hist 0‎ Additive category ‎ →‎Definition
• 00:3500:35, 21 September 2017 diff hist +4‎ Biproduct ‎ →‎Examples

20 September 2017

• 19:1619:16, 20 September 2017 diff hist +1‎ Subobject ‎ →‎Examples
• 19:0719:07, 20 September 2017 diff hist −2‎ Subobject ‎ →‎Definition
• 00:2100:21, 20 September 2017 diff hist +200‎ Per Lindström ‎No edit summary

19 September 2017

• 17:3117:31, 19 September 2017 diff hist +66‎ Heinrich Kleisli ‎No edit summary

18 September 2017

• 18:2418:24, 18 September 2017 diff hist +39‎ European Association for Theoretical Computer Science ‎ →‎Presburger Award
• 18:1918:19, 18 September 2017 diff hist −3‎ Milner Award ‎No edit summary
• 18:1918:19, 18 September 2017 diff hist −1‎ Milner Award ‎No edit summary
• 18:0918:09, 18 September 2017 diff hist +2‎ Mikołaj Bojańczyk ‎ →‎Biography
• 18:0518:05, 18 September 2017 diff hist +39‎ Presburger Award ‎No edit summary
• 17:5917:59, 18 September 2017 diff hist 0‎ Kenneth I. Gross ‎No edit summary
• 12:3312:33, 18 September 2017 diff hist +4‎ Tarski's high school algebra problem ‎ →‎Statement of the problem