Oldest pages

Jump to navigation Jump to search

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

View (previous 50 | next 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. Condition for Existence of Hamiltonian Paths‏‎ (21:16, 5 November 2009)
  4. Remainder Theorem‏‎ (09:24, 13 February 2011)
  5. Composition of One-Variable URM Computable Functions‏‎ (20:28, 19 February 2011)
  6. Function Obtained by Minimization from URM Computable Functions‏‎ (23:34, 19 February 2011)
  7. Block Copy Program‏‎ (11:14, 6 March 2011)
  8. Congruence Modulo Zero is Diagonal Relation‏‎ (19:50, 27 March 2011)
  9. Squares with All Odd Digits‏‎ (19:38, 2 April 2011)
  10. Clear Registers Program‏‎ (21:48, 13 April 2011)
  11. Not All Natural Number Functions are Primitive Recursive‏‎ (07:36, 25 April 2011)
  12. Universal URM Computable Functions‏‎ (22:22, 4 June 2011)
  13. Universal URM Programs‏‎ (22:33, 4 June 2011)
  14. Exponential Function is Superfunction‏‎ (07:26, 6 July 2011)
  15. Orthogonal Difference is Closed Linear Subspace‏‎ (09:04, 3 February 2012)
  16. Direct Sum of Subspace and Orthocomplement‏‎ (13:38, 3 February 2012)
  17. Number Base Conversion‏‎ (22:36, 6 February 2012)
  18. Real Linear Subspace Contains Zero Vector‏‎ (12:21, 19 March 2012)
  19. Restriction of Monotone Function is Monotone‏‎ (21:18, 31 March 2012)
  20. Transcendental Slope‏‎ (19:48, 5 April 2012)
  21. Conditions for Homogeneity‏‎ (21:19, 28 May 2012)
  22. Morphism Property Preserves Cancellability‏‎ (06:40, 8 June 2012)
  23. Ordinals are Totally Ordered‏‎ (17:05, 28 June 2012)
  24. Characteristic Function Determined by 1-Fiber‏‎ (21:29, 17 July 2012)
  25. Single Instruction URM Programs‏‎ (22:05, 29 July 2012)
  26. Kernel is Trivial iff Monomorphism‏‎ (13:20, 4 August 2012)
  27. Commutative B-Algebra is Entropic Structure‏‎ (16:14, 5 August 2012)
  28. Measure is Finitely Additive Function‏‎ (07:37, 6 August 2012)
  29. Measure is Strongly Additive‏‎ (07:38, 6 August 2012)
  30. Measure is Subadditive‏‎ (07:41, 6 August 2012)
  31. Restricting Measure Preserves Finiteness‏‎ (08:06, 6 August 2012)
  32. Trivial Subgroup and Group Itself are Normal‏‎ (20:55, 6 August 2012)
  33. B-Algebra Induced by Group Induced by B-Algebra‏‎ (10:54, 7 August 2012)
  34. Successor Set of Transitive Set is Transitive‏‎ (12:26, 7 August 2012)
  35. Identity Functor is Left Identity‏‎ (11:32, 9 August 2012)
  36. Opposite Group of Opposite Group‏‎ (19:22, 9 August 2012)
  37. Slice Category is Category‏‎ (20:29, 9 August 2012)
  38. Monoid Category is Category‏‎ (20:50, 9 August 2012)
  39. Identity Functor is Right Identity‏‎ (08:01, 16 August 2012)
  40. Identity Morphism is Unique‏‎ (08:02, 16 August 2012)
  41. Sigma-Algebra is Dynkin System‏‎ (19:47, 17 August 2012)
  42. Kleene's Normal Form Theorem‏‎ (21:46, 2 September 2012)
  43. Condition for Cartesian Product Equivalent to Associated Cardinal Number‏‎ (03:26, 6 September 2012)
  44. Cardinal Number Plus One Less than Cardinal Product‏‎ (19:23, 6 September 2012)
  45. Metacategory Induces Morphisms-Only Metacategory‏‎ (12:38, 21 September 2012)
  46. Abnormal Subgroup is Self-Normalizing Subgroup‏‎ (21:16, 23 September 2012)
  47. Properties of Indiscrete Topology‏‎ (06:15, 13 October 2012)
  48. Category of Subobjects is Category‏‎ (14:33, 23 October 2012)
  49. Composition of Mapping with Inclusion is Restriction‏‎ (21:45, 24 October 2012)
  50. Extendability Theorem for Intersection Numbers/Corollary‏‎ (06:57, 25 October 2012)

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