User contributions for 85.130.107.83

7 October 2012

• 19:4719:47, 7 October 2012 diff hist −4 Ascending chain condition And infinite descending chain should refer to infinite and strictly decreasing sequence
• 19:3719:37, 7 October 2012 diff hist +20 Ascending chain condition Chain actually has the more general meaning of totally ordered set
• 19:2419:24, 7 October 2012 diff hist +29 Ascending chain condition Put a reference to ``eventually''
• 19:0219:02, 7 October 2012 diff hist +49 Infinite descending chain Use the more natural "infinite strictly decreasing sequence" variant. Reword the rest accordingly

18 August 2012

• 19:4419:44, 18 August 2012 diff hist +290 Relatively compact subspace Added counterexample
• 18:4518:45, 18 August 2012 diff hist −4 Particular point topology →Limit related
• 18:4318:43, 18 August 2012 diff hist −25 Particular point topology Simplify wording
• 18:3918:39, 18 August 2012 diff hist +49 Particular point topology A limit point of any convergent sequence is accumulation point for that sequence
• 16:2816:28, 18 August 2012 diff hist +91 Accumulation point Some elaboration on open neighbourhoods
• 16:1116:11, 18 August 2012 diff hist −5 Accumulation point Need not be open
• 16:0716:07, 18 August 2012 diff hist +1 Accumulation point Change spelling
• 16:0516:05, 18 August 2012 diff hist +31 Accumulation point Use "open neighborhood" instead of "open set containing ..."

13 May 2012

• 21:5721:57, 13 May 2012 diff hist −15 Covariant transformation Fixed some upper case letters

11 May 2012

• 15:3415:34, 11 May 2012 diff hist −32 Local homeomorphism If convering maps are special case of local homeomorphisms, they are not "unlike" them

6 May 2012

• 10:4010:40, 6 May 2012 diff hist 0 Name day →Bulgaria

2 May 2012

• 16:5416:54, 2 May 2012 diff hist +3 Sahlqvist formula →Definition
• 16:5016:50, 2 May 2012 diff hist +1 Sahlqvist formula →Definition

29 April 2012

• 17:2417:24, 29 April 2012 diff hist −194 Intercept theorem Remove links that do not add more than the already mentioned in the article

9 March 2012

• 22:4722:47, 9 March 2012 diff hist +4 Robert Bartini Link to VVA-14 in its image description

6 January 2012

• 11:3411:34, 6 January 2012 diff hist +26 Uniform Resource Identifier →See also

2 January 2012

• 20:2520:25, 2 January 2012 diff hist +18 The Singles 86–98 →The Videos 86>98

30 November 2011

• 18:0618:06, 30 November 2011 diff hist +38 CLU (programming language) Did the presence of garbage collection in CLU specifically, influenced the similar design decision in Java?

18 November 2011

• 15:1215:12, 18 November 2011 diff hist −22 Frank Adams Remove bold text

4 November 2011

• 21:2721:27, 4 November 2011 diff hist +3 Heyting algebra Inconsistent use of notation

2 April 2011

• 01:1801:18, 2 April 2011 diff hist 0 Diminutive Use "ya" for "я"
• 01:1601:16, 2 April 2011 diff hist +6 Diminutive Forgot the neuter suffix for adjectives
• 01:1201:12, 2 April 2011 diff hist +374 Diminutive Added adjectives to Bulgarian
• 00:5000:50, 2 April 2011 diff hist +64 Diminutive Corrected and rearranged a little the Bulgarian section

13 February 2011

• 20:2920:29, 13 February 2011 diff hist −11 Australopithecus afarensis Undid revision 413744019 by 89.240.152.43 (talk)

5 February 2011

• 18:4818:48, 5 February 2011 diff hist +2 Kernel Normal Form No edit summary
• 18:4718:47, 5 February 2011 diff hist −29 Kernel Normal Form No edit summary

28 January 2011

• 23:4523:45, 28 January 2011 diff hist −75 Gödel's β function Use the more natural dividend and divisor positions in rem

18 January 2011

• 22:1922:19, 18 January 2011 diff hist −9 Compact element Directed sets are required to be nonempty by definition

15 January 2011

• 20:5620:56, 15 January 2011 diff hist −23 Zero morphism Use the more simple arrow notation instead of Mor_C

8 January 2011

• 17:0717:07, 8 January 2011 diff hist +12 Non-standard model of arithmetic Forgot to correct "largest" in the whole paragraph

5 January 2011

• 22:3022:30, 5 January 2011 diff hist −16 Non-standard model of arithmetic A small correction on the form of axioms of P*
• 22:2222:22, 5 January 2011 diff hist +68 Non-standard model of arithmetic Elaborate on satisfaction of finite subsets of P*

16 November 2010

• 16:5416:54, 16 November 2010 diff hist +3 André Joyal Fix broken link to Joyal's CatLab

2 November 2010

• 15:2515:25, 2 November 2010 diff hist +67 Matthew Davis (disambiguation) No edit summary

13 October 2010

• 19:4419:44, 13 October 2010 diff hist −21 Net (mathematics) put "countable" in front of "neighbourhood basis"

2 July 2010

• 23:5623:56, 2 July 2010 diff hist +59 Knaster–Tarski theorem →Proof

18 May 2010

• 19:4419:44, 18 May 2010 diff hist +12 White cheese No edit summary

7 May 2010

• 12:4112:41, 7 May 2010 diff hist +11 Cirque North Cascades are in the U.S.

8 November 2009

• 11:5311:53, 8 November 2009 diff hist −11 Axiom of determinacy Further reading -> fix broken link to Telgársky's paper

25 June 2009

• 18:0818:08, 25 June 2009 diff hist −405 Talk:Continuous function No edit summary
• 18:0418:04, 25 June 2009 diff hist +405 Talk:Continuous function →Continuous functions between metric spaces: new section

2 November 2008

• 22:0122:01, 2 November 2008 diff hist +38 Dimiter Skordev →References

2 February 2008

• 15:0715:07, 2 February 2008 diff hist +206 Talk:Multiplication →Multiplication of negative numbers
• 15:0215:02, 2 February 2008 diff hist +85 Multiplication →Proofs

31 January 2008

• 20:1720:17, 31 January 2008 diff hist +377 Talk:Multiplication →Multiplication of negative numbers