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).
(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)- 04:02, 19 January 2013 Abcxyz talk contribs moved page User:Abcxyz/Sandbox to User:Abcxyz/Sandbox/Dedekind Completions of Ordered Sets
- 22:01, 14 January 2013 Abcxyz talk contribs moved page Talk:Order of Squares in Totally Ordered Ring without Zero Divisors to Talk:Order of Squares in Totally Ordered Ring without Proper Zero Divisors (Yes, I think so.)
- 22:01, 14 January 2013 Abcxyz talk contribs moved page Order of Squares in Totally Ordered Ring without Zero Divisors to Order of Squares in Totally Ordered Ring without Proper Zero Divisors (Yes, I think so.)
- 23:05, 8 January 2013 Abcxyz talk contribs moved page Talk:Dedekind Completion is Unique up to Unique Isomorphism to Talk:Uniqueness of Dedekind Completion (see talk page)
- 23:05, 8 January 2013 Abcxyz talk contribs moved page Dedekind Completion is Unique up to Unique Isomorphism to Uniqueness of Dedekind Completion (see talk page)
- 16:45, 14 December 2012 Abcxyz talk contribs moved page Subset of Countable Set to Subset of Countable Set is Countable
- 00:48, 1 December 2012 Abcxyz talk contribs moved page Definition:Intermediate Value Property to Definition:Darboux Function
- 03:17, 25 November 2012 Abcxyz talk contribs moved page Talk:Power of Number Less Than One to Talk:Power of Number Less Than One/Proof 4
- 21:54, 23 November 2012 Abcxyz talk contribs moved page Talk:Closed Set Equals its Closure to Talk:Closed Set Equals its Closure/Proof 2
- 21:54, 23 November 2012 Abcxyz talk contribs moved page Closed Set Equals its Closure to Closed Set Equals its Closure/Proof 2
- 03:57, 20 November 2012 Abcxyz talk contribs moved page Talk:Union from Synthetic Basis is Topology to Talk:Union from Synthetic Basis is Topology/Proof 1
- 03:57, 20 November 2012 Abcxyz talk contribs moved page Union from Synthetic Basis is Topology to Union from Synthetic Basis is Topology/Proof 1
- 03:32, 20 November 2012 Abcxyz talk contribs moved page Number of Edges in a Forest to Number of Edges in Forest
- 04:29, 17 November 2012 Abcxyz talk contribs moved page Definition talk:Limit Point of Set to Definition talk:Limit Point/Topology/Set
- 06:49, 11 November 2012 Abcxyz talk contribs moved page Power of Number Less Than One/Proof 3 to Power of Number Less Than One/Proof 4
- 18:47, 10 November 2012 Abcxyz talk contribs moved page Choice Function Exists for All Finite Sets to Principle of Finite Choice (the previous title wasn't exactly accurate anyway)
- 19:41, 9 November 2012 Abcxyz talk contribs moved page Unbounded Set of Real Numbers is not Compact to Unbounded Set of Real Numbers is not Compact/Proof 1
- 04:52, 3 November 2012 Abcxyz talk contribs moved page Compact Metric Space is Complete to Sequentially Compact Metric Space is Complete
- 22:52, 2 November 2012 Abcxyz talk contribs moved page Talk:Countably Compact First-Countable Space is Sequentially Compact to Talk:First-Countable Space is Sequentially Compact iff Countably Compact
- 19:23, 1 November 2012 Abcxyz talk contribs moved page Talk:Sequentially Compact Metric Space is Totally Bounded to Talk:Sequentially Compact Metric Space is Totally Bounded/Proof 2
- 19:23, 1 November 2012 Abcxyz talk contribs moved page Sequentially Compact Metric Space is Totally Bounded to Sequentially Compact Metric Space is Totally Bounded/Proof 2
- 17:58, 1 November 2012 Abcxyz talk contribs moved page Talk:First-Countable Space is Sequentially Compact iff Countably Compact to Talk:Countably Compact First-Countable Space is Sequentially Compact
- 17:58, 1 November 2012 Abcxyz talk contribs moved page First-Countable Space is Sequentially Compact iff Countably Compact to Countably Compact First-Countable Space is Sequentially Compact
- 02:24, 1 November 2012 Abcxyz talk contribs moved page Complete and Totally Bounded Metric Space is Sequentially Compact/Proof 2 to Complete and Totally Bounded Metric Space is Sequentially Compact/Proof 3 (this isn't a proof right now)
- 22:49, 31 October 2012 Abcxyz talk contribs moved page Countably Compact Metric Space is Sequentially Compact to Metric Space is Countably Compact iff Sequentially Compact (better)
- 15:41, 31 October 2012 Abcxyz talk contribs moved page Image of Countable Set is Countable to Mapping Image of Countable Set is Countable (better)
- 14:14, 31 October 2012 Abcxyz talk contribs moved page Talk:Totally Bounded Metric Spaces are Separable and Second-Countable to Talk:Totally Bounded Metric Space is Separable and Second-Countable
- 14:14, 31 October 2012 Abcxyz talk contribs moved page Totally Bounded Metric Spaces are Separable and Second-Countable to Totally Bounded Metric Space is Separable and Second-Countable
- 14:11, 31 October 2012 Abcxyz talk contribs moved page Talk:Totally Bounded Metric Spaces are Separable and Second-Countable to Talk:Totally Bounded Metric Space is Separable
- 14:11, 31 October 2012 Abcxyz talk contribs moved page Totally Bounded Metric Spaces are Separable and Second-Countable to Totally Bounded Metric Space is Separable
- 15:59, 29 October 2012 Abcxyz talk contribs moved page Compact Subspace of Totally Ordered Set to Compact Subspace of Linearly Ordered Space
- 15:55, 29 October 2012 Abcxyz talk contribs moved page Talk:Connected Subspace of Totally Ordered Set to Talk:Connected Subspace of Linearly Ordered Space (as suggested on talk page)
- 15:55, 29 October 2012 Abcxyz talk contribs moved page Connected Subspace of Totally Ordered Set to Connected Subspace of Linearly Ordered Space (as suggested on talk page)
- 23:19, 27 October 2012 Abcxyz talk contribs moved page Talk:Polynomial Ring is a Ring to Talk:Polynomial Ring is Ring
- 23:19, 27 October 2012 Abcxyz talk contribs moved page Polynomial Ring is a Ring to Polynomial Ring is Ring
- 02:01, 22 October 2012 Abcxyz talk contribs moved page Continuity Check using Sub-Basis/Proof 2 to Continuity Test using Sub-Basis/Proof 2
- 02:01, 22 October 2012 Abcxyz talk contribs moved page Continuity Check using Sub-Basis/Proof 1 to Continuity Test using Sub-Basis/Proof 1
- 02:00, 22 October 2012 Abcxyz talk contribs moved page Continuity Check using Sub-Basis to Continuity Test using Sub-Basis
- 02:00, 22 October 2012 Abcxyz talk contribs moved page Talk:Continuity Check using Basis to Talk:Continuity Test using Basis (as suggested)
- 02:00, 22 October 2012 Abcxyz talk contribs moved page Continuity Check using Basis to Continuity Test using Basis (as suggested)
- 20:51, 19 October 2012 Abcxyz talk contribs moved page Kernel of Linear Transformation is Nullity of Matrix Representation to Kernel of Linear Transformation is Null Space of Matrix Representation (Null space not nullity)
- 17:46, 14 October 2012 Abcxyz talk contribs moved page Linearly Independent Subset of Finitely Generated Vector Space to Linearly Independent Subset of Finitely Generated Vector Space/Proof 1
- 15:44, 13 October 2012 Abcxyz talk contribs moved page Definition:Convex Set to Definition:Convex Set (Vector Space)
- 03:44, 13 October 2012 Abcxyz talk contribs moved page Topological Subspace is Topological Space to Topological Subspace is Topological Space/Proof 1
- 01:04, 13 October 2012 Abcxyz talk contribs moved page Intersection of Topologies is a Topology to Intersection of Topologies is Topology
- 17:00, 12 October 2012 Abcxyz talk contribs moved page Topological Subspace is a Topological Space to Topological Subspace is Topological Space
- 19:42, 30 September 2012 Abcxyz talk contribs moved page Equivalent Definitions of Basis (Topology) to Equivalent Definitions of Synthetic Basis
- 20:50, 22 September 2012 Abcxyz talk contribs moved page Definition:Dedekind Completion to Definition:Dedekind-MacNeille Completion
- 05:24, 22 September 2012 Abcxyz talk contribs moved page Connected Subspace of Ordered Set to Connected Subspace of Totally Ordered Set (better title)
- 16:49, 28 June 2012 Abcxyz talk contribs moved page Relation between Unequal Ordinals to Relation between Two Ordinals