All public logs
Jump to navigation
Jump to search
Combined display of all available logs of ProofWiki. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).
- 07:12, 8 September 2012 Asalmon talk contribs moved page Cardinal Exponentiation is a Small Class to Set of All Mappings is a Small Class
- 06:49, 8 September 2012 Asalmon talk contribs moved page Definition:Ordinal One to Definition:One Ordinal (To be consistent with zero ordinal.)
- 04:02, 6 September 2012 Asalmon talk contribs moved page Cardinal Sum Less than Cardinal Product to Cardinal of Union Less than Cardinal of Cartesian Product (Originally, it had a bad name.)
- 21:19, 2 September 2012 Asalmon talk contribs moved page Definition talk:Generalized Continuum Hypothesis to Axiom talk:Generalized Continuum Hypothesis (Given on talk page.)
- 21:19, 2 September 2012 Asalmon talk contribs moved page Definition:Generalized Continuum Hypothesis to Axiom:Generalized Continuum Hypothesis (Given on talk page.)
- 07:01, 31 August 2012 Asalmon talk contribs moved page Cardinal Number Equivalent to Empty Set to Cardinal Number Equivalence or Equal to Universe (Title was wrong.)
- 06:59, 31 August 2012 Asalmon talk contribs moved page Condition for Set Equivalent to Associated Cardinal Number to Condition for Set Equivalent to Cardinal Number (Less wordy.)
- 23:33, 25 August 2012 Asalmon talk contribs moved page Talk:Unique Representation of Ordinal as Sum to Talk:Basis Representation Theorem for Ordinals (Better)
- 23:33, 25 August 2012 Asalmon talk contribs moved page Unique Representation of Ordinal as Sum to Basis Representation Theorem for Ordinals (Better)
- 07:15, 18 August 2012 Asalmon talk contribs moved page Algorithm for Ordinal Multiplication to Ordinal Multiplication via Cantor Normal Form/Infinite Exponent (Suggested Move)
- 07:15, 18 August 2012 Asalmon talk contribs moved page Talk:Algorithm for Ordinal Multiplication to Talk:Ordinal Multiplication via Cantor Normal Form/Infinite Exponent (Suggested Move)
- 07:10, 18 August 2012 Asalmon talk contribs moved page Algorithm for Ordinal Multiplication with Limit Bases to Ordinal Multiplication via Cantor Normal Form/Limit Base (Suggested move)
- 02:14, 18 August 2012 Asalmon talk contribs moved page Ordinal Multiplication Algorithm to Algorithm for Ordinal Multiplication (More descriptive.)
- 23:24, 14 August 2012 Asalmon talk contribs moved page Exponent Greater Than or Equal To One to Exponent Not Equal to Zero (Somewhat more accurate)
- 03:53, 11 August 2012 Asalmon talk contribs moved page Empty Set Exists to Empty Set is Small (More descriptive title.)
- 03:14, 11 August 2012 Asalmon talk contribs moved page Uniqueness Condition for Mapping Value to Uniqueness Condition for Relation Value (For relations, not just mappings.)
- 17:52, 10 August 2012 Asalmon talk contribs moved page Definition talk:Value of Mapping to Definition talk:Image/Relation/Element/Singleton (This seems more appropriate.)
- 17:52, 10 August 2012 Asalmon talk contribs moved page Definition:Value of Mapping to Definition:Image/Relation/Element/Singleton (This seems more appropriate.)
- 18:26, 8 August 2012 Asalmon talk contribs moved page Union is a Set to Union of Small Classes is Small (Suggested move)
- 18:37, 28 July 2012 Asalmon talk contribs moved page Talk:Minimal Infinite Successor Set Fulfils Peano Axioms to Talk:Minimal Infinite Successor Set Fulfills Peano Axioms (Title had typo.)
- 18:37, 28 July 2012 Asalmon talk contribs moved page Minimal Infinite Successor Set Fulfils Peano Axioms to Minimal Infinite Successor Set Fulfills Peano Axioms (Title had typo.)
- 04:41, 27 July 2012 Asalmon talk contribs moved page Lexicographical Ordering Forms Well-Ordering on Ordered Pairs of Ordinals to Lexicographic Order Forms Well-Ordering on Ordered Pairs of Ordinals
- 00:14, 26 July 2012 Asalmon talk contribs moved page Principle of Transfinite Induction to Transfinite Induction/Principle 1 (Making these all into one page)
- 23:46, 25 July 2012 Asalmon talk contribs moved page Principle of Transfinite Recursion to Transfinite Recursion/Theorem 1
- 21:56, 25 July 2012 Asalmon talk contribs moved page No Infinitely Descending Epsilon-Chains to No Infinitely Descending Membership Chains (Even better.)
- 21:55, 25 July 2012 Asalmon talk contribs moved page No Infinitely Descending Functions to No Infinitely Descending Epsilon-Chains (More Accurate)
- 19:05, 25 July 2012 Asalmon talk contribs moved page Ordinal Less Than Successor to Ordinal Less than Successor
- 04:44, 25 July 2012 Asalmon talk contribs moved page General Solution of $y' = y$ to Existence-Uniqueness Theorem for $y' = y$ (Name will be more consistent with future.)
- 20:40, 24 July 2012 Asalmon talk contribs moved page Convergent Sequence Has at Most One Limit (Metric Space) to Convergent Sequence Has Unique Limit (Metric Space) (More sensible title.)
- 20:32, 24 July 2012 Asalmon talk contribs moved page Necessary and Sufficient Condition for Convergent Sequence (Metric Spaces) to Necessary and Sufficient Condition for Convergent Sequence (Metric Space) (Adherence to ProofWiki's current standard of putting (Metric Space) rather than (Metric Spaces).)
- 06:25, 8 September 2011 User account Asalmon talk contribs was created