All public logs

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)

• 09:53, 17 December 2022 Lord Farin talk contribs blocked 101.31.232.16 talk with an expiration time of indefinite (anonymous users only, account creation disabled)
• 09:48, 14 December 2022 Lord Farin talk contribs blocked 170.83.178.71 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:31, 12 December 2022 Lord Farin talk contribs created page User talk:Donpacific (Welcome!)
• 07:31, 12 December 2022 Lord Farin talk contribs created page User:Donpacific (Creating user page for new user.)
• 07:31, 12 December 2022 User account Donpacific talk contribs was created by Lord Farin talk contribs and password was sent by email
• 16:23, 23 November 2022 Lord Farin talk contribs blocked 193.218.190.122 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 16:23, 23 November 2022 Lord Farin talk contribs blocked 109.172.108.220 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:56, 23 November 2022 Lord Farin talk contribs blocked 2a0a:e144:c85:2cb9:37a9:efed:1ffa:4259 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 2a0a:e146:e340:b494:e706:fc7:6d6:529b talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 2a0b:482:3b88:aefe:873b:aa4e:33b7:692f talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 2a0b:481:6d08:ef7e:5bab:de2e:7638:284e talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 2a0b:486:b77e:8b2b:3383:6b0:1e76:afc8 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 193.218.190.71 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 138.199.59.142 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.62 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 193.218.190.33 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.208 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:55, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.222 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 82.167.213.246 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.121 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.162 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 193.150.70.92 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 165.231.92.220 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:54, 23 November 2022 Lord Farin talk contribs blocked 165.231.92.73 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 07:52, 23 November 2022 Lord Farin talk contribs blocked 196.199.55.45 talk with an expiration time of indefinite (anonymous users only, account creation disabled) (Spamming links to external sites)
• 08:24, 13 November 2022 Lord Farin talk contribs created page Talk:Jensen's Formula/Proof 1 (Created page with "Thank you User:Yunjiangster for your attempted correction of this proof. However at {{ProofWiki}} we do not simply delete other work because we deem it incorrect. If it is really incorrect then this is established by consensus on the talk page, i.e. here. Obviously this does not apply if the fix is minor. Replacing complete proofs however, is '''not done'''. Instead, I created Jensen's Formula/Proof 3 as a home for your proof. Please check it for overlap with...")
• 08:18, 13 November 2022 Lord Farin talk contribs created page Jensen's Formula/Proof 3 (Created page with "{{tidy}} {{MissingLinks}} == Theorem == {{:Jensen's Formula}} == Proof == <onlyinclude> {{explain|I don't see why $r {{=}} 0$ is WLOG?}} Assume without loss of generality that $r = 0$. Write $\map f z = B_{\rho_1}(z) \dotsm B_{\rho_n}(z) \map g z$, where $B_\rho(z) := \frac{z - \rho}{1 - z \overline{\rho} }$ is the Blaschke factor at $\rho$, so $\map g z$ is holomorphic and nonzero in $D_r$, and each $B_{\rho_i}(z)$ is holomorphic and has a simple zero $\rho_i$ inside...")
• 21:25, 12 November 2022 Lord Farin talk contribs created page User talk:U238Pu238 (Welcome!)
• 21:25, 12 November 2022 Lord Farin talk contribs created page User:U238Pu238 (Creating user page for new user.)
• 21:25, 12 November 2022 User account U238Pu238 talk contribs was created by Lord Farin talk contribs and password was sent by email
• 21:23, 12 November 2022 Lord Farin talk contribs created page User talk:Yunjiangster (Welcome!)
• 21:23, 12 November 2022 Lord Farin talk contribs created page User:Yunjiangster (Creating user page for new user.)
• 21:23, 12 November 2022 User account Yunjiangster talk contribs was created by Lord Farin talk contribs and password was sent by email
• 22:28, 11 November 2022 Lord Farin talk contribs blocked 45.15.72.32 talk with an expiration time of indefinite (anonymous users only, account creation disabled)
• 22:27, 11 November 2022 Lord Farin talk contribs blocked 193.150.70.106 talk with an expiration time of indefinite (anonymous users only, account creation disabled)
• 20:08, 8 November 2022 Lord Farin talk contribs deleted page Definition talk:Colimit (resolved)
• 20:06, 8 November 2022 Lord Farin talk contribs deleted page Definition:Upward Directed Set
• 11:01, 5 November 2022 Lord Farin talk contribs created page User:Lord Farin/Sandbox/Nets (Created page with "== Nets == === Sources === Moore-Smith 1922: [https://www.jstor.org/stable/pdf/2370388.pdf PDF] Conway 1990 Appendix A Kelley - General Topology === Considerations === Basically the confusion over nets boils down to requiring a Definition:Directed Ordering or a Definition:Directed Preordering. Since Moore-Smith uses the latter, it makes sense to have Definition:Moore-Smith Sequence as a mapping from a directed preorder. It furthermore makes sense to be...")
• 10:21, 5 November 2022 Lord Farin talk contribs deleted page Definition talk:Exact Sequence of Modules (resolved)
• 16:49, 4 November 2022 Lord Farin talk contribs created page Finite Subsets form Directed Ordering (Created page with "== Theorem == Let $I$ be a set. Denote with $\FF$ the set of finite subsets of $I$. Let $\subseteq$ be the subset relation on $\FF$. Then $\subseteq$ is a directed ordering on $\FF$. == Proof == From Subset Relation is Ordering, we know that $\subseteq$ is an ordering. Now let $F, G \in \FF$. From Set Union Preserves Subs...")
• 16:45, 4 November 2022 Lord Farin talk contribs created page Definition:Set Ordered by Inclusion (Redirected page to Definition:Set Ordered by Subset Relation) Tag: New redirect
• 16:41, 4 November 2022 Lord Farin talk contribs created page Definition:Set Ordered by Subset Relation/Reverse Inclusion (Created page with "== Definition == Let $S$ be a set. <onlyinclude> Let $S$ be ordered by $\supseteq$, the dual of the subset relation $\subseteq$. Then $S$ is said to be '''ordered by reverse inclusion'''. </onlyinclude> == Sources == * {{BookReference|A Course in Functional Analysis|1990|John B. Conway|ed = 2nd|edpage = Second Edition|prev = Open Neighborhoods of Point form Dire...")
• 16:33, 4 November 2022 Lord Farin talk contribs created page Definition:Ordering by Reverse Inclusion (Redirected page to Definition:Set Ordered by Subset Relation/Reverse Inclusion) Tag: New redirect
• 16:26, 4 November 2022 Lord Farin talk contribs created page Open Neighborhoods of Point form Directed Ordering (Created page with "== Theorem == Let $\struct{ S, \tau }$ be a topological space. Let $x \in S$. Let $\NN \subseteq \tau$ be the set of open neighborhoods of $x$. Then $\supseteq$, the ordering of $\NN$ by reverse inclusion, is a directed ordering. == Proof == {{WIP}} == Sources == * {{BookReference|A Course in Functional Analysi...")
• 13:40, 4 November 2022 Lord Farin talk contribs created page Linear Combination of Linear Functionals (Created page with "{{rename|We can do better, right?}} == Theorem == Let $V$ be a Definition:Vector Space over a field $\GF$. Let $f, f_1, \ldots, f_n: V \to \GF$ be linear functionals. Suppose that: :$\ds \bigcap_{i \mathop = 1}^n \ker f_i \subseteq \ker f$ where $\ker f$ denotes the kernel of $f$. Then there exist $\alpha_1, \ldots, \alpha_n \...")
• 16:15, 1 November 2022 Lord Farin talk contribs created page User talk:Kyalophil (Welcome!)
• 16:15, 1 November 2022 Lord Farin talk contribs created page User:Kyalophil (Creating user page for new user.)
• 16:15, 1 November 2022 User account Kyalophil talk contribs was created by Lord Farin talk contribs and password was sent by email
• 13:55, 1 November 2022 Lord Farin talk contribs created page Condition for Mapping from Quotient Vector Space to be Well-Defined (Created page with "== Theorem == Let $V, W$ be vector spaces. Let $T: V \to W$ be a linear transformation. Let $M$ be a subspace of $V$. Let $V / M$ be the quotient vector space of $V$ by $M$. Let $Q_M: V \to V / M$ be the associated quotient mapping. Then: :there exists a Definition:Linear Transformat...")
• 17:59, 31 October 2022 Lord Farin talk contribs created page Kernel of Quotient Mapping (Created page with "== Theorem == Let $V$ be a vector space. Let $M$ be a subspace of $V$. Let $Q: V \to V / M$ be the quotient mapping. Then $\ker Q = M$, where $\ker Q$ is the kernel of $Q$. == Proof == For $v \in V$, we have that: :$v \in \ker Q$ {{iff}} :$v + M = 0 + M$ That is, {{iff}} $v \in M$. Hence $\ker Q = M$. {{qed...")

(newest | oldest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)