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).
- 11:34, 25 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 1 Implies Formulation 2 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. Let $\rho$ satisfy formulation 1 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 1}} Then $\rho$ is the Definition:Rank Function (Matroid)...")
- 11:29, 25 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms/Formulation 2 Implies Formulation 1 (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. Let $\rho$ satisfy formulation 2 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 2}} Then $\rho$ satisfies Axiom:Rank Axioms (Matroid)/Def...")
- 22:45, 23 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/MatroidsMatroid Rank Function Iff Matroid Rank Axioms (content was: "#REDIRECT User:Leigh.Samphier/Matroids/Matroid Rank Function Iff Matroid Rank Axioms", and the only contributor was "Leigh.Samphier" (talk))
- 22:44, 23 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/MatroidsMatroid Rank Function Iff Matroid Rank Axioms to User:Leigh.Samphier/Matroids/Matroid Rank Function Iff Matroid Rank Axioms
- 22:29, 23 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/MatroidsMatroid Rank Function Iff Matroid Rank Axioms (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. {{TFAE}} === Condition 1 === $\rho$ satisfies formulation 1 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 1}} === Condition 2 === $\rho$...")
- 22:28, 23 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Rank Axioms (Created page with "{{Proofread}} == Theorem == Let $S$ be a finite set. Let $\rho : \powerset S \to \Z$ be a mapping from the power set of $S$ to the integers. {{TFAE}} === Condition 1 === $\rho$ satisfies formulation 1 of the rank axioms: {{:Axiom:Rank Axioms (Matroid)/Definition 1}} === Condition 2 === $\rho$...")
- 11:28, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/ForReview (content was: "{{:User:Leigh.Samphier/Templates/CommonHeader}} == Review Pages == === Matroid Circuit axioms ===", and the only contributor was "Leigh.Samphier" (talk))
- 11:28, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/ForReview/MatroidCircuitAxioms (content was: "{{:User:Leigh.Samphier/Templates/CommonHeader}} === New Pages === ::Equivalence of Definitions of Matroid Circuit Axioms ::Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2 ::Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1 ::Equivalence of Definitions of Matr...", and the only contributor was "Leigh.Samphier" (talk))
- 11:24, 22 April 2024 Leigh.Samphier talk contribs created page User:Leigh.Samphier/Matroids/Completed (Created page with "== Matroids (Completed) == === Matroid Circuits === Equivalence of Definitions of Matroid Circuit Axioms Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2 Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1 Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3 Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Form...")
- 11:18, 22 April 2024 Leigh.Samphier talk contribs created page Category:Circuits of Matroid iff Matroid Circuit Axioms (Created page with "{{SubjectCategory|result=Circuits of Matroid iff Matroid Circuit Axioms}} Category:Matroid Circuits")
- 11:06, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 3 (Page has been renamed Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3)
- 11:03, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Condition 1 Implies Condition 2 (Page has been renamed Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2)
- 10:56, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Condition 2 Implies Condition 4 (Page has been renamed Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid)
- 10:49, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Condition 3 Implies Condition 1 (Page has been renamed Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Formulation 1)
- 10:34, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Condition 4 Implies Condition 1 (Page has been renamed Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1)
- 10:26, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Lemma 1 (Page has been renamed Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1)
- 10:22, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Lemma 3 (Page has been renamed Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3)
- 10:19, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Lemma 4 (Page has been renamed Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4)
- 10:15, 22 April 2024 Leigh.Samphier talk contribs deleted page Equivalence of Definitions of Matroid Circuit Axioms/Lemma 5 (Page was renamed Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5)
- 10:08, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms (content was: "{{Proofread}} == Theorem == <onlyinclude> Let $S$ be a finite set. Let $\mathscr C$ be a non-empty set of subsets of $S$. {{TFAE|axiom=Circuit Axioms (Matroid)|view=Matroid Circuit Axioms}} === Formulation 1...", and the only contributor was "Leigh.Samphier" (talk))
- 10:02, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5", and the only contributor was "Leigh.Samphier" (talk))
- 09:59, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4", and the only contributor was "Leigh.Samphier" (talk))
- 09:56, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3", and the only contributor was "Leigh.Samphier" (talk))
- 09:54, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 2 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Lemma 2", and the only contributor was "Leigh.Samphier" (talk))
- 09:49, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1", and the only contributor was "Leigh.Samphier" (talk))
- 09:44, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid", and the only contributor was "Leigh.Samphier" (talk))
- 09:41, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1 (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1", and the only contributor was "Leigh.Samphier" (talk))
- 09:39, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms (content was: "#REDIRECT Circuits of Matroid iff Matroid Circuit Axioms", and the only contributor was "Leigh.Samphier" (talk))
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3 to Circuits of Matroid iff Matroid Circuit Axioms/Lemma 3
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4 to Circuits of Matroid iff Matroid Circuit Axioms/Lemma 4
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5 to Circuits of Matroid iff Matroid Circuit Axioms/Lemma 5
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms to Circuits of Matroid iff Matroid Circuit Axioms
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1 to Circuits of Matroid iff Matroid Circuit Axioms/Circuits of Matroid implies Formulation 1
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid to Circuits of Matroid iff Matroid Circuit Axioms/Formulation 2 implies Circuits of Matroid
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1 to Circuits of Matroid iff Matroid Circuit Axioms/Lemma 1
- 09:37, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Circuits of Matroid iff Matroid Circuit Axioms/Lemma 2 to Circuits of Matroid iff Matroid Circuit Axioms/Lemma 2
- 09:36, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Formulation 1 (content was: "#REDIRECT Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Formulation 1", and the only contributor was "Leigh.Samphier" (talk))
- 09:35, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Formulation 1 to Equivalence of Definitions of Matroid Circuit Axioms/Formulation 3 Implies Formulation 1
- 09:34, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3 (content was: "#REDIRECT Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3", and the only contributor was "Leigh.Samphier" (talk))
- 09:32, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3 to Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 3
- 09:31, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1 (content was: "#REDIRECT Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1", and the only contributor was "Leigh.Samphier" (talk))
- 09:29, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1 to Equivalence of Definitions of Matroid Circuit Axioms/Formulation 2 Implies Formulation 1
- 09:28, 22 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2 (content was: "#REDIRECT Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2", and the only contributor was "Leigh.Samphier" (talk))
- 09:23, 22 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/Matroids/Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2 to Equivalence of Definitions of Matroid Circuit Axioms/Formulation 1 Implies Formulation 2
- 11:10, 19 April 2024 Leigh.Samphier talk contribs created page Definition:Galois Connection/Upper Adjoint Technical Note (Created page with "== Technical Note on Upper Adjoint == <onlyinclude> {{LatexFor|for = \upperadjoint f}} </onlyinclude> Category:Technical Notes")
- 11:08, 19 April 2024 Leigh.Samphier talk contribs created page Definition:Galois Connection/Lower Adjoint Technical Note (Created page with "== Technical Note on Lower Adjoint == <onlyinclude> {{LatexFor|for = \loweradjoint f}} </onlyinclude> Category:Technical Notes")
- 11:02, 19 April 2024 Leigh.Samphier talk contribs created page Category:Definitions/Galois Connections (Created page with "{{DefinitionCategory|def=Galois Connection|Order Theory}}")
- 10:52, 19 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/OrderTheory/Definition:Galois Connection/Notation (content was: "#REDIRECT Definition:Galois Connection/Notation", and the only contributor was "Leigh.Samphier" (talk))
- 10:51, 19 April 2024 Leigh.Samphier talk contribs moved page User:Leigh.Samphier/OrderTheory/Definition:Galois Connection/Notation to Definition:Galois Connection/Notation
- 10:50, 19 April 2024 Leigh.Samphier talk contribs deleted page User:Leigh.Samphier/OrderTheory/Definition:Galois Connection/Also known as (content was: "#REDIRECT Definition:Galois Connection/Also known as", and the only contributor was "Leigh.Samphier" (talk))