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).
- 16:39, 26 August 2017 GrzegorzBancerek talk contribs moved page Two Lower Topologies are Equal to Lower Topology is Unique without leaving a redirect
- 12:28, 7 August 2017 GrzegorzBancerek talk contribs deleted page Definition:Product of Family of Topologies (content was: "== Definition == Let $I$ be a set. Let $\left({\left({S_i, \tau_i}\right)}\right)_{i \...", and the only contributor was "GrzegorzBancerek" (talk))
- 15:51, 19 July 2017 GrzegorzBancerek talk contribs moved page Limit Inferior Repetition Moore-Smith Sequence to Limit Inferior of Repetition Moore-Smith Sequence without leaving a redirect
- 14:27, 18 July 2017 GrzegorzBancerek talk contribs moved page Limit Inferior of Identity Moore-Smith Sequence is Supremum of Directed Subset to Limit Inferior of Inclusion Moore-Smith Sequence is Supremum of Directed Subset without leaving a redirect
- 14:16, 13 July 2017 GrzegorzBancerek talk contribs moved page Definition:Limes Infimum of Moore-Smith Sequence to Definition:Limit Inferior of Moore-Smith Sequence without leaving a redirect
- 11:55, 12 July 2017 GrzegorzBancerek talk contribs moved page Subset and Image Admit Infima and Mapping is Increasing implies Infimum of Image Precedes Mapping at Infimum to Subset and Image Admit Infima and Mapping is Increasing implies Infimum of Image Succeeds Mapping at Infimum without leaving a redirect
- 14:47, 14 April 2017 GrzegorzBancerek talk contribs moved page Irreducible Topological Subset is Prime Element to Complement of Irreducible Topological Subset is Prime Element
- 15:06, 31 March 2017 GrzegorzBancerek talk contribs deleted page Image of Compact Subset under Directed Suprema Preserving Closure Operator is Subset of Compzct Subset (content was: "#REDIRECT Image of Compact Subset under Directed Suprema Preserving Closure Operator is Subset of Compact...", and the only contributor was "GrzegorzBancerek" (talk))
- 14:28, 20 March 2017 GrzegorzBancerek talk contribs moved page Image of Compact Subset under Directed Suprema Preserving Closure Operator is Subset of Compzct Subset to Image of Compact Subset under Directed Suprema Preserving Closure Operator is Subset of Compact Subset
- 21:18, 28 January 2017 GrzegorzBancerek talk contribs moved page Closed Set iff Lower and Closed under Directed Suprema in Topological Ordered Set to Closed Set iff Lower and Closed under Directed Suprema in Scott Topological Ordered Set without leaving a redirect
- 18:52, 8 January 2017 GrzegorzBancerek talk contribs moved page Ordered Subset of Ordered Set id Ordered Set to Ordered Subset of Ordered Set is Ordered Set
- 17:47, 28 December 2016 GrzegorzBancerek talk contribs deleted page Definition:Relation Cosegment (content was: "{{mergeto|Definition:Image/Relation/Element}} == Definition == Let $X$ be a set. Let $R$ be a relation on $X$. Let $x \in X$. Then the '''$R$-cosegment of $x$''', denoted by $^Rx$, is defin...")
- 19:27, 6 December 2016 GrzegorzBancerek talk contribs moved page Multiplicative Auxiliary Relation iff Cosegment is Filtered to Multiplicative Auxiliary Relation iff Images are Filtered
- 19:10, 6 December 2016 GrzegorzBancerek talk contribs moved page Auxiliary Relation Cosegment is Upper Set to Auxiliary Relation Image of Element is Upper Set
- 13:39, 3 December 2016 GrzegorzBancerek talk contribs deleted page Prime is Pseudoprime (content was: "#REDIRECT Prime is Pseudoprime (Order Theory)", and the only contributor was "GrzegorzBancerek" (talk))
- 13:38, 3 December 2016 GrzegorzBancerek talk contribs moved page Prime is Pseudoprime to Prime is Pseudoprime (Order Theory)
- 09:54, 23 November 2016 GrzegorzBancerek talk contribs deleted page Finite Suprema Set and Lower Closure is Smallest Filter (content was: "#REDIRECT Finite Suprema Set and Lower Closure is Smallest Ideal", and the only contributor was "GrzegorzBancerek" (talk))
- 09:54, 23 November 2016 GrzegorzBancerek talk contribs moved page Finite Suprema Set and Lower Closure is Smallest Filter to Finite Suprema Set and Lower Closure is Smallest Ideal
- 08:50, 23 November 2016 GrzegorzBancerek talk contribs deleted page Minimal Filter (content was: "#REDIRECT Finite Suprema Set and Lower Closure is Smallest Filter", and the only contributor was "GrzegorzBancerek" (talk))
- 08:48, 23 November 2016 GrzegorzBancerek talk contribs moved page Minimal Filter to Finite Suprema Set and Lower Closure is Smallest Filter
- 18:01, 15 October 2016 GrzegorzBancerek talk contribs moved page Category:Inverse Ordered Sets to Category:Dual Ordered Sets (There exists already Inverse Ordered Set formalized under name Dual Ordered Set)
- 17:34, 15 October 2016 GrzegorzBancerek talk contribs moved page Inverse Preordered Set is Preordered Set to Dual of Preordered Set is Preordered Set
- 12:48, 8 September 2016 GrzegorzBancerek talk contribs moved page Prime Element iff Every Non Empty Finite Subset if Infimum Not Greater than Element There Exists Member of Subset Not Greater than Element to Characterization of Prime Element in Meet Semilttice
- 17:12, 9 August 2016 GrzegorzBancerek talk contribs moved page Not Proceeding implies Approximating Relation and not Proceeding to Not Preceding implies Approximating Relation and not Preceding
- 15:27, 5 August 2016 GrzegorzBancerek talk contribs moved page Supremum of Directed Set in Cartesian Product to Supremum of Meet Image of Directed Set
- 15:07, 5 August 2016 GrzegorzBancerek talk contribs moved page Meet is Directed Suprema Preserving/Lemma 3 to Supremum by Suprema of Directed Set in Cartesian Product
- 14:33, 5 August 2016 GrzegorzBancerek talk contribs moved page Supremum in Cartesian Product to Supremum of Directed Set in Cartesian Product
- 14:29, 5 August 2016 GrzegorzBancerek talk contribs moved page Meet Preserves Directed Suprema/Lemma 1 to Supremum in Cartesian Product
- 14:26, 5 August 2016 GrzegorzBancerek talk contribs moved page Meet is Directed Suprema Preserving/Lemma 1 to Meet Preserves Directed Suprema/Lemma 1
- 14:24, 5 August 2016 GrzegorzBancerek talk contribs moved page Meet is Directed Suprema Preserving/Lemma 2 to Meet Preserves Directed Suprema/Lemma 2
- 14:08, 5 August 2016 GrzegorzBancerek talk contribs moved page Meet is Directed Suprema Preserving to Meet Preserves Directed Suprema
- 20:26, 22 July 2016 GrzegorzBancerek talk contribs moved page Preceding implies Inclosion of Segments of Auxiliary Relation to Preceding implies Inclusion of Segments of Auxiliary Relation
- 12:20, 25 May 2016 GrzegorzBancerek talk contribs moved page Meet-Continuous iff Ideal Supremum Meet Preserving to Meet-Continuous iff Ideal Supremum is Meet Preserving
- 15:31, 19 May 2016 GrzegorzBancerek talk contribs moved page Up-complete Product to Up-Complete Product
- 19:25, 15 May 2016 GrzegorzBancerek talk contribs moved page Order on Mappings Implies Galois Connection to Ordering on Mappings Implies Galois Connection
- 19:16, 15 May 2016 GrzegorzBancerek talk contribs moved page Definition:Order on Mappings to Definition:Ordering on Mappings
- 20:20, 13 May 2016 GrzegorzBancerek talk contribs moved page Shift Mapping is Upper Adjoint iff Appropriate Maxima Exist to Shift Mapping is Lower Adjoint iff Appropriate Maxima Exist
- 13:17, 28 April 2016 GrzegorzBancerek talk contribs moved page Galois Connection Expressed by Minimum to Galois Connection is Expressed by Minimum
- 16:51, 15 April 2016 GrzegorzBancerek talk contribs moved page Filter Preserving Mapping is Increasing to Infima Preserving Mapping on Filters is Increasing
- 19:40, 10 April 2016 GrzegorzBancerek talk contribs moved page Opper Bound is Upper Bound for Subset to Upper Bound is Upper Bound for Subset
- 19:15, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup to Definition:Mapping Preserves Supremum
- 19:13, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup/Finite to Definition:Mapping Preserves Supremum/Finite
- 19:11, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup/Directed to Definition:Mapping Preserves Supremum/Directed
- 19:09, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup/Subset to Definition:Mapping Preserves Supremum/Subset
- 19:07, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup/All to Definition:Mapping Preserves Supremum/All
- 18:57, 6 April 2016 GrzegorzBancerek talk contribs moved page Definition:Mapping Preserves Sup/Join to Definition:Mapping Preserves Supremum/Join
- 16:24, 21 March 2016 GrzegorzBancerek talk contribs moved page Charcterization Directed by Finite Subsets to Directed iff Finite Subsets have Upper Bounds
- 14:46, 27 February 2016 GrzegorzBancerek talk contribs moved page Characterization of Derivative by Basis to Characterization of Derivative by Local Basis
- 16:58, 8 February 2016 GrzegorzBancerek talk contribs moved page Characterization of T0 Space by Different Closures of Singletons to Characterization of T0 Space by Distinct Closures of Singletons
- 20:22, 3 February 2016 GrzegorzBancerek talk contribs moved page Countable iff Cardinality not greater Aleph Zero to Countable iff Cardinality not greater than Aleph Zero