Oldest pages

Jump to navigation Jump to search

Showing below up to 50 results in range #1 to #50.

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)

  1. Primitive Recursive Function is URM Computable‏‎ (20:12, 4 May 2009)
  2. Primitive Recursive Function is Total Recursive Function‏‎ (20:59, 18 May 2009)
  3. Remainder Theorem‏‎ (09:24, 13 February 2011)
  4. Congruence Modulo Zero is Diagonal Relation‏‎ (19:50, 27 March 2011)
  5. Not All Natural Number Functions are Primitive Recursive‏‎ (07:36, 25 April 2011)
  6. Universal URM Computable Functions‏‎ (22:22, 4 June 2011)
  7. Universal URM Programs‏‎ (22:33, 4 June 2011)
  8. Orthogonal Difference is Closed Linear Subspace‏‎ (09:04, 3 February 2012)
  9. Number Base Conversion‏‎ (22:36, 6 February 2012)
  10. Real Linear Subspace Contains Zero Vector‏‎ (12:21, 19 March 2012)
  11. Restriction of Monotone Function is Monotone‏‎ (21:18, 31 March 2012)
  12. Transcendental Slope‏‎ (19:48, 5 April 2012)
  13. Conditions for Homogeneity‏‎ (21:19, 28 May 2012)
  14. Ordinals are Totally Ordered‏‎ (17:05, 28 June 2012)
  15. Characteristic Function Determined by 1-Fiber‏‎ (21:29, 17 July 2012)
  16. Trivial Subgroup and Group Itself are Normal‏‎ (20:55, 6 August 2012)
  17. Identity Functor is Left Identity‏‎ (11:32, 9 August 2012)
  18. Identity Functor is Right Identity‏‎ (08:01, 16 August 2012)
  19. Sigma-Algebra is Dynkin System‏‎ (19:47, 17 August 2012)
  20. Abnormal Subgroup is Self-Normalizing Subgroup‏‎ (21:16, 23 September 2012)
  21. Properties of Indiscrete Topology‏‎ (06:15, 13 October 2012)
  22. Arens-Fort Space is Countable‏‎ (22:57, 1 November 2012)
  23. Ordering Induced by Injection is Ordering‏‎ (14:56, 11 November 2012)
  24. Category of Finite Sets is Category‏‎ (20:51, 30 November 2012)
  25. Subset of Toset is Toset‏‎ (15:12, 16 December 2012)
  26. Boolean Ring has Proper Zero Divisor‏‎ (21:01, 18 December 2012)
  27. Quaternion Multiplication‏‎ (21:11, 22 December 2012)
  28. Composition of Ring Isomorphisms is Ring Isomorphism‏‎ (08:31, 25 December 2012)
  29. Composition of Ring Automorphisms is Ring Automorphism‏‎ (17:00, 29 December 2012)
  30. Injection Induces Total Ordering‏‎ (23:16, 3 January 2013)
  31. Dual of Dual Statement (Order Theory)‏‎ (11:13, 6 January 2013)
  32. Biconditional Properties‏‎ (13:21, 13 January 2013)
  33. Biconditional is Transitive‏‎ (19:41, 13 January 2013)
  34. Complement of Bottom‏‎ (12:31, 22 January 2013)
  35. Complement of Top‏‎ (12:39, 22 January 2013)
  36. Two-Valued Functions form Boolean Algebra‏‎ (11:07, 23 January 2013)
  37. Uniformly Continuous Function is Continuous‏‎ (10:07, 30 January 2013)
  38. Constant Function is Uniformly Continuous‏‎ (10:30, 30 January 2013)
  39. Exclusive Or Properties‏‎ (06:18, 5 February 2013)
  40. Factor Principles/Conjunction on Right‏‎ (15:42, 10 February 2013)
  41. Factor Principles/Conjunction on Left‏‎ (15:43, 10 February 2013)
  42. Modus Ponendo Tollens/Sequent Form‏‎ (19:16, 10 February 2013)
  43. Modus Ponendo Tollens/Sequent Form/Case 2‏‎ (19:17, 10 February 2013)
  44. Modus Ponendo Tollens/Variant‏‎ (19:17, 10 February 2013)
  45. Modus Tollendo Ponens/Variant‏‎ (19:21, 10 February 2013)
  46. Principle of Commutation/Forward Implication/Formulation 1‏‎ (19:45, 10 February 2013)
  47. Principle of Commutation/Reverse Implication/Formulation 1/Proof‏‎ (19:46, 10 February 2013)
  48. Principle of Commutation/Formulation 1/Proof 1‏‎ (19:46, 10 February 2013)
  49. Negation implies Negation of Conjunction/Case 2‏‎ (20:34, 10 February 2013)
  50. Proof by Cases/Formulation 1‏‎ (21:11, 10 February 2013)

View (previous 50 | ) (20 | 50 | 100 | 250 | 500)