User:Leigh.Samphier/Templates/Test

From ProofWiki
Jump to navigation Jump to search

User:Leigh.Samphier/Templates/TFAENoCat

User:Leigh.Samphier/Templates/TFAE

User:Leigh.Samphier/Templates/Test

User:Leigh.Samphier/Templates/Test/CategoryEquivalenceProofs

User:Leigh.Samphier/Templates/Test/CategoryEquivalentDefinitions

User:Leigh.Samphier/Templates/Test/CategoryEquivalentAxioms


TFAENoCat

{{:User:Leigh.Samphier/Templates/TFAENoCat|view = xxyyz}} produces

The following statements are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = Topological Space}} produces

The following definitions of the concept of Topological Space are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = Ring of Sets Axioms}} produces

The following definitions for the Ring of Sets Axioms are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = Topological Space | axiom = Ring of Sets}} produces

The following definitions of the concept of Topological Space are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = Topological Space | view = Spaces with Topology}} produces

The following definitions of the concept of Spaces with Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = Ring of Sets Axioms | view = ring of sets axioms}} produces

The following definitions for the ring of sets axioms are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = Topological Space | view = Spaces with Topology|context = Topology}} produces

The following definitions of the concept of Spaces with Topology in the context of Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = Ring of Sets Axioms | view = ring of sets axioms|context = Set Theory}} produces

The following definitions for the ring of sets axioms in the context of Set Theory are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = Topological Space | view = Spaces with Topology|context = Topology|contextview = General Topology}} produces

The following definitions of the concept of Spaces with Topology in the context of General Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = Ring of Sets Axioms | view = ring of sets axioms|context = Set Theory|contextview = Theory of Sets}} produces

The following definitions for the ring of sets axioms in the context of Theory of Sets are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = xxyyz}} produces

The following definitions of the concept of xxyyz are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = xxyyz}} produces

The following definitions for the xxyyz are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|def = }} produces

The following statements are equivalent:


{{:User:Leigh.Samphier/Templates/TFAENoCat|axiom = }} produces

The following statements are equivalent:


TFAE

{{:User:Leigh.Samphier/Templates/TFAE|view = xxyyz}} produces

The following statements are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = Topological Space}} produces

The following definitions of the concept of Topological Space are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = Ring of Sets Axioms}} produces

The following definitions for the Ring of Sets Axioms are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = Topological Space | axiom = Ring of Sets}} produces

The following definitions of the concept of Topological Space are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = Topological Space | view = Spaces with Topology}} produces

The following definitions of the concept of Spaces with Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = Ring of Sets Axioms | view = ring of sets axioms}} produces

The following definitions for the ring of sets axioms are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = Topological Space | view = Spaces with Topology|context = Topology}} produces

The following definitions of the concept of Spaces with Topology in the context of Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = Ring of Sets Axioms | view = ring of sets axioms|context = Set Theory}} produces

The following definitions for the ring of sets axioms in the context of Set Theory are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = Topological Space | view = Spaces with Topology|context = Topology|contextview = General Topology}} produces

The following definitions of the concept of Spaces with Topology in the context of General Topology are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = Ring of Sets Axioms | view = ring of sets axioms|context = Set Theory|contextview = Theory of Sets}} produces

The following definitions for the ring of sets axioms in the context of Theory of Sets are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = xxyyz}} produces

The following definitions of the concept of xxyyz are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = xxyyz}} produces

The following definitions for the xxyyz are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|def = }} produces

The following statements are equivalent:


{{:User:Leigh.Samphier/Templates/TFAE|axiom = }} produces

The following statements are equivalent: