Oldest pages

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

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