# 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)

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