Differences

This shows you the differences between two versions of the page.

start [2010/06/14 18:00]
jipsen created
start [2010/06/14 21:37] (current)
jipsen
Line 1: Line 1:
-= Mathematical Structures =+===== Mathematical Structures =====
The webpages collected here list information about classes of The webpages collected here list information about classes of
Line 5: Line 5:
what properties are known about these structures. what properties are known about these structures.
-'''These pages are currently still under construction. Knowledgeable readers are encouraged to add or correct information.''' To enable the edit link at the bottom of each page, use the Login link (above) to enter a Username of your choice and the password "mathstruct".+//These pages are currently still under construction. Knowledgeable readers are encouraged to add or correct information.// To enable the edit button on each page, use the Login link (above) to log in or create an account.
Initially the main content concerns mostly first-order classes of relational Initially the main content concerns mostly first-order classes of relational
-structures and, more particularly, varieties of universal algebras.+structures and, more particularly, equationally defined classes of algebraic structures.
If you are familiar with some of these classes of structures, feel If you are familiar with some of these classes of structures, feel
free to add some relevant information and references by using the edit free to add some relevant information and references by using the edit
Line 14: Line 14:
you don't know LaTeX you should probably not edit these pages -- the previous non-LaTeX you don't know LaTeX you should probably not edit these pages -- the previous non-LaTeX
version of these pages is still available at http://math.chapman.edu/cgi-bin/structures.pl ). version of these pages is still available at http://math.chapman.edu/cgi-bin/structures.pl ).
-You can use this [[Sandbox.pdf]] page to try out editing (without worrying about deleting+You can use this [[Sandbox]] page to try out editing (without worrying about deleting
useful information). useful information).
Line 30: Line 30:
=== Alphabetical list of all classes === === Alphabetical list of all classes ===
-#[[Abelian groups.pdf]] +  -[[Abelian groups]] 
-#[[Abelian lattice-ordered groups.pdf]] +  -[[Abelian lattice-ordered groups]] 
-#[[Abelian ordered groups.pdf]] +  -[[Abelian ordered groups]] 
-#[[Abelian p-groups.pdf]] +  -[[Abelian p-groups]] 
-#[[Abelian partially ordered groups.pdf]] +  -[[Abelian partially ordered groups]] 
-#[[Action algebras.pdf]] +  -[[Action algebras]] 
-#[[Action lattices.pdf]] +  -[[Action lattices]] 
-#[[Algebraic lattices.pdf]] +  -[[Algebraic lattices]] 
-#[[Algebraic posets.pdf]] +  -[[Algebraic posets]] 
-#[[Algebraic semilattices.pdf]] +  -[[Algebraic semilattices]] 
-#[[Allegories.pdf]] +  -[[Allegories]] 
-#[[Almost distributive lattices.pdf]] +  -[[Almost distributive lattices]] 
-#[[Associative algebras.pdf]] +  -[[Associative algebras]] 
-#[[Banach spaces.pdf]] +  -[[Banach spaces]] 
-#[[Bands.pdf]] +  -[[Bands]] 
-#[[Basic logic algebras.pdf]] +  -[[Basic logic algebras]] 
-#[[BCI-algebras.pdf]] +  -[[BCI-algebras]] 
-#[[BCK-algebras.pdf]] +  -[[BCK-algebras]] 
-#[[BCK-join-semilattices.pdf]] +  -[[BCK-join-semilattices]] 
-#[[BCK-lattices.pdf]] +  -[[BCK-lattices]] 
-#[[BCK-meet-semilattices.pdf]] +  -[[BCK-meet-semilattices]] 
-#[[Bilinear algebras.pdf]] +  -[[Bilinear algebras]] 
-#[[Basic logic algebras|BL-algebras.pdf]] +  -[[Basic logic algebras|BL-algebras]] 
-#[[Boolean algebras.pdf]] +  -[[Boolean algebras]] 
-#[[Boolean algebras with operators.pdf]] +  -[[Boolean algebras with operators]] 
-#[[Boolean groups.pdf]] +  -[[Boolean groups]] 
-#[[Boolean lattices.pdf]] +  -[[Boolean lattices]] 
-#[[Boolean modules over a relation algebra.pdf]] +  -[[Boolean modules over a relation algebra]] 
-#[[Boolean monoids.pdf]] +  -[[Boolean monoids]] 
-#[[Boolean algebras|Boolean rings.pdf]] +  -[[Boolean algebras|Boolean rings]] 
-#[[Boolean semigroups.pdf]] +  -[[Boolean semigroups]] 
-#[[Boolean semilattices.pdf]] +  -[[Boolean semilattices]] 
-#[[Boolean spaces.pdf]] +  -[[Boolean spaces]] 
-#[[Bounded distributive lattices.pdf]] +  -[[Bounded distributive lattices]] 
-#[[Bounded lattices.pdf]] +  -[[Bounded lattices]] 
-#[[Bounded residuated lattices.pdf]] +  -[[Bounded residuated lattices]] 
-#[[Brouwerian algebras.pdf]] +  -[[Brouwerian algebras]] 
-#[[Brouwerian semilattices.pdf]] +  -[[Brouwerian semilattices]] 
-#[http://www.wikipedia.org/wiki/C-star-algebra C-star-algebras] +  -[[wp>C-star-algebras]
-#[[Cancellative commutative monoids.pdf]] +  -[[Cancellative commutative monoids]] 
-#[[Cancellative commutative semigroups.pdf]] +  -[[Cancellative commutative semigroups]] 
-#[[Cancellative monoids.pdf]] +  -[[Cancellative monoids]] 
-#[[Cancellative semigroups.pdf]] +  -[[Cancellative semigroups]] 
-#[[Cancellative residuated lattices.pdf]] +  -[[Cancellative residuated lattices]] 
-#[[Categories.pdf]] +  -[[Categories]] 
-#[[Chains.pdf]] +  -[[Chains]] 
-#[[Clifford semigroups.pdf]] +  -[[Clifford semigroups]] 
-#[http://www.wikipedia.org/wiki/Clifford_algebra Clifford algebras] +  -[[wp>Clifford algebras]
-#[[Closure algebras.pdf]] +  -[[Closure algebras]] 
-#[[Commutative BCK-algebras.pdf]] +  -[[Commutative BCK-algebras]] 
-#[[Commutative groupoids.pdf]] +  -[[Commutative groupoids]] 
-#[[Commutative inverse semigroups.pdf]] +  -[[Commutative inverse semigroups]] 
-#[[Commutative lattice-ordered monoids.pdf]] +  -[[Commutative lattice-ordered monoids]] 
-#[[Commutative lattice-ordered rings.pdf]] +  -[[Commutative lattice-ordered rings]] 
-#[[Commutative lattice-ordered semigroups.pdf]] +  -[[Commutative lattice-ordered semigroups]] 
-#[[Commutative monoids.pdf]] +  -[[Commutative monoids]] 
-#[[Commutative ordered monoids.pdf]] +  -[[Commutative ordered monoids]] 
-#[[Commutative ordered rings.pdf]] +  -[[Commutative ordered rings]] 
-#[[Commutative ordered semigroups.pdf]] +  -[[Commutative ordered semigroups]] 
-#[[Commutative partially ordered monoids.pdf]] +  -[[Commutative partially ordered monoids]] 
-#[[Commutative partially ordered semigroups.pdf]] +  -[[Commutative partially ordered semigroups]] 
-#[[Commutative regular rings.pdf]] +  -[[Commutative regular rings]] 
-#[[Commutative residuated lattice-ordered semigroups.pdf]] +  -[[Commutative residuated lattice-ordered semigroups]] 
-#[[Commutative residuated lattices.pdf]] +  -[[Commutative residuated lattices]] 
-#[[Commutative residuated partially ordered monoids.pdf]] +  -[[Commutative residuated partially ordered monoids]] 
-#[[Commutative residuated partially ordered semigroups.pdf]] +  -[[Commutative residuated partially ordered semigroups]] 
-#[[Commutative rings.pdf]] +  -[[Commutative rings]] 
-#[[Commutative rings with identity.pdf]] +  -[[Commutative rings with identity]] 
-#[[Commutative semigroups.pdf]] +  -[[Commutative semigroups]] 
-#[[Compact topological spaces.pdf]] +  -[[Compact topological spaces]] 
-#[[Boolean spaces|Compact zero-dimensional Hausdorff spaces.pdf]] +  -[[Boolean spaces|Compact zero-dimensional Hausdorff spaces]] 
-#[[Complemented lattices.pdf]] +  -[[Complemented lattices]] 
-#[[Boolean lattices|Complemented distributive lattices.pdf]] +  -[[Boolean lattices|Complemented distributive lattices]] 
-#[[Complemented modular lattices.pdf]] +  -[[Complemented modular lattices]] 
-#[[Complete distributive lattices.pdf]] +  -[[Complete distributive lattices]] 
-#[[Complete lattices.pdf]] +  -[[Complete lattices]] 
-#[[Complete semilattices.pdf]] +  -[[Complete semilattices]] 
-#[[Directed complete partial orders|Complete partial orders.pdf]] +  -[[Directed complete partial orders|Complete partial orders]] 
-#[[Completely regular Hausdorff spaces.pdf]] +  -[[Completely regular Hausdorff spaces]] 
-#[[Completely regular semigroups.pdf]] +  -[[Completely regular semigroups]] 
-#[[Continuous lattices.pdf]] +  -[[Continuous lattices]] 
-#[[Continuous posets.pdf]] +  -[[Continuous posets]] 
-#[[Cylindric algebras.pdf]] +  -[[Cylindric algebras]] 
-#[[De Morgan algebras.pdf]] +  -[[De Morgan algebras]] 
-#[[De Morgan monoids.pdf]] +  -[[De Morgan monoids]] 
-#[[Dedekind categories.pdf]] +  -[[Dedekind categories]] 
-#[[Dedekind domains.pdf]] +  -[[Dedekind domains]] 
-#[[Dense linear orders.pdf]] +  -[[Dense linear orders]] 
-#[[Digraph algebras.pdf]] +  -[[Digraph algebras]] 
-#[[Directed complete partial orders.pdf]] +  -[[Directed complete partial orders]] 
-#[[Directed partial orders.pdf]] +  -[[Directed partial orders]] 
-#[[Directed graphs.pdf]] +  -[[Directed graphs]] 
-#[[Directoids.pdf]] +  -[[Directoids]] 
-#[[Distributive allegories.pdf]] +  -[[Distributive allegories]] 
-#[[Distributive double p-algebras.pdf]] +  -[[Distributive double p-algebras]] 
-#[[Distributive dual p-algebras.pdf]] +  -[[Distributive dual p-algebras]] 
-#[[Distributive lattice expansions.pdf]] +  -[[Distributive lattice expansions]] 
-#[[Distributive lattices.pdf]] +  -[[Distributive lattices]] 
-#[[Distributive lattices with operators.pdf]] +  -[[Distributive lattices with operators]] 
-#[[Distributive lattice ordered semigroups.pdf]] +  -[[Distributive lattice ordered semigroups]] 
-#[[Distributive p-algebras.pdf]] +  -[[Distributive p-algebras]] 
-#[[Distributive residuated lattices.pdf]] +  -[[Distributive residuated lattices]] 
-#[[Division algebras.pdf]] +  -[[Division algebras]] 
-#[[Division rings.pdf]] +  -[[Division rings]] 
-#[[Double Stone algebras.pdf]] +  -[[Double Stone algebras]] 
-#[[Dunn monoids.pdf]] +  -[[Dunn monoids]] 
-#[[Dynamic algebras.pdf]] +  -[[Dynamic algebras]] 
-#[[Medial groupoids|Entropic groupoids.pdf]] +  -[[Medial groupoids|Entropic groupoids]] 
-#[[Equivalence algebras.pdf]] +  -[[Equivalence algebras]] 
-#[[Equivalence relations.pdf]] +  -[[Equivalence relations]] 
-#[[Euclidean domains.pdf]] +  -[[Euclidean domains]] 
-#[[Function rings|f-rings.pdf]] +  -[[Function rings|f-rings]] 
-#[[Fields.pdf]] +  -[[Fields]] 
-#[[FL-algebras.pdf]] +  -[[FL-algebras]] 
-#[[FLc-algebras.pdf]] +  -[[FLc-algebras]] 
-#[[FLe-algebras.pdf]] +  -[[FLe-algebras]] 
-#[[FLew-algebras.pdf]] +  -[[FLew-algebras]] 
-#[[FLw-algebras.pdf]] +  -[[FLw-algebras]] 
-#[[Frames.pdf]] +  -[[Frames]] 
-#[[Function rings.pdf]] +  -[[Function rings]] 
-#[[G-sets.pdf]] +  -[[G-sets]] 
-#[[Generalized BL-algebras.pdf]] +  -[[Generalized BL-algebras]] 
-#[[Generalized Boolean algebras.pdf]] +  -[[Generalized Boolean algebras]] 
-#[[Generalized MV-algebras.pdf]] +  -[[Generalized MV-algebras]] 
-#[[Goedel algebras.pdf]] +  -[[Goedel algebras]] 
-#[[Graphs.pdf]] +  -[[Graphs]] 
-#[[Groupoids.pdf]] +  -[[Groupoids]] 
-#[[Groups.pdf]] +  -[[Groups]] 
-#[[Hausdorff spaces.pdf]] +  -[[Hausdorff spaces]] 
-#[[Heyting algebras.pdf]] +  -[[Heyting algebras]] 
-#[[Hilbert algebras.pdf]] +  -[[Hilbert algebras]] 
-#[[Hilbert spaces.pdf]] +  -[[Hilbert spaces]] 
-#[[Hoops.pdf]] +  -[[Hoops]] 
-#[[Idempotent semirings.pdf]] +  -[[Idempotent semirings]] 
-#[[Idempotent semirings with identity.pdf]] +  -[[Idempotent semirings with identity]] 
-#[[Idempotent semirings with identity and zero.pdf]] +  -[[Idempotent semirings with identity and zero]] 
-#[[Idempotent semirings with zero.pdf]] +  -[[Idempotent semirings with zero]] 
-#[[Implication algebras.pdf]] +  -[[Implication algebras]] 
-#[[Implicative lattices.pdf]] +  -[[Implicative lattices]] 
-#[[Integral domains.pdf]] +  -[[Integral domains]] 
-#[[Integral ordered monoids.pdf]] +  -[[Integral ordered monoids]] 
-#[[Integral relation algebras.pdf]] +  -[[Integral relation algebras]] 
-#[[Integral residuated lattices.pdf]] +  -[[Integral residuated lattices]] 
-#[[Intuitionistic linear logic algebras.pdf]] +  -[[Intuitionistic linear logic algebras]] 
-#[[Inverse semigroups.pdf]] +  -[[Inverse semigroups]] 
-#[[Involutive lattices.pdf]] +  -[[Involutive lattices]] 
-#[[Involutive residuated lattices.pdf]] +  -[[Involutive residuated lattices]] 
-#[[Join-semidistributive lattices.pdf]] +  -[[Join-semidistributive lattices]] 
-#[[Semilattices|Join-semilattices.pdf]] +  -[[Semilattices|Join-semilattices]] 
-#[[Jordan algebras.pdf]] +  -[[Jordan algebras]] 
-#[[Kleene algebras.pdf]] +  -[[Kleene algebras]] 
-#[[Kleene lattices.pdf]] +  -[[Kleene lattices]] 
-#[[Residuated partially ordered semigroups|Lambek algebras.pdf]] +  -[[Residuated partially ordered semigroups|Lambek algebras]] 
-#[[Lattice-ordered groups.pdf]] +  -[[Lattice-ordered groups]] 
-#[[Lattice-ordered monoids.pdf]] +  -[[Lattice-ordered monoids]] 
-#[[Lattice-ordered rings.pdf]] +  -[[Lattice-ordered rings]] 
-#[[Lattice-ordered semigroups.pdf]] +  -[[Lattice-ordered semigroups]] 
-#[[Lattices.pdf]] +  -[[Lattices]] 
-#[[Left cancellative semigroups.pdf]] +  -[[Left cancellative semigroups]] 
-#[[Lie algebras.pdf]] +  -[[Lie algebras]] 
-#[[Goedel algebras|Linear Heyting algebras.pdf]] +  -[[Goedel algebras|Linear Heyting algebras]] 
-#[[Linear logic algebras.pdf]] +  -[[Linear logic algebras]] 
-#[[Chains|Linear orders.pdf]] +  -[[Chains|Linear orders]] 
-#[[Frames|Locales.pdf]] +  -[[Frames|Locales]] 
-#[http://www.wikipedia.org/wiki/Locally_compact_space Locally compact topological spaces] +  -[[wp>Locally compact topological spaces]
-#[[Loops.pdf]] +  -[[Loops]] 
-#[[Lukasiewicz algebras of order n.pdf]] +  -[[Lukasiewicz algebras of order n]] 
-#[[M-sets.pdf]] +  -[[M-sets]] 
-#[[Medial groupoids.pdf]] +  -[[Medial groupoids]] 
-#[[Medial quasigroups.pdf]] +  -[[Medial quasigroups]] 
-#[[Meet-semidistributive lattices.pdf]] +  -[[Meet-semidistributive lattices]] 
-#[[Semilattices|Meet-semilattices.pdf]] +  -[[Semilattices|Meet-semilattices]] 
-#[[Metric spaces.pdf]] +  -[[Metric spaces]] 
-#[[Modal algebras.pdf]] +  -[[Modal algebras]] 
-#[[Modular lattices.pdf]] +  -[[Modular lattices]] 
-#[[Modular ortholattices.pdf]] +  -[[Modular ortholattices]] 
-#[[Modules over a ring.pdf]] +  -[[Modules over a ring]] 
-#[[Monadic algebras.pdf]] +  -[[Monadic algebras]] 
-#[[Monoidal t-norm logic algebras.pdf]] +  -[[Monoidal t-norm logic algebras]] 
-#[[Monoids.pdf]] +  -[[Monoids]] 
-#[[Moufang loops.pdf]] +  -[[Moufang loops]] 
-#[[Moufang quasigroups.pdf]] +  -[[Moufang quasigroups]] 
-#[[Multiplicative additive linear logic algebras.pdf]] +  -[[Multiplicative additive linear logic algebras]] 
-#[[Multiplicative lattices.pdf]] +  -[[Multiplicative lattices]] 
-#[[Multiplicative semilattices.pdf]] +  -[[Multiplicative semilattices]] 
-#[[Multisets.pdf]] +  -[[Multisets]] 
-#[[MV-algebras.pdf]] +  -[[MV-algebras]] 
-#[[Neardistributive lattices.pdf]] +  -[[Neardistributive lattices]] 
-#[[Near-rings.pdf]] +  -[[Near-rings]] 
-#[[Near-rings with identity.pdf]] +  -[[Near-rings with identity]] 
-#[[Near-fields.pdf]] +  -[[Near-fields]] 
-#[[Nilpotent groups.pdf]] +  -[[Nilpotent groups]] 
-#[[Nonassociative relation algebras.pdf]] +  -[[Nonassociative relation algebras]] 
-#[[Bilinear algebras|Nonassociative algebras.pdf]] +  -[[Bilinear algebras|Nonassociative algebras]] 
-#[[Normal bands.pdf]] +  -[[Normal bands]] 
-#[[Normed vector spaces.pdf]] +  -[[Normed vector spaces]] 
-#[[Ockham algebras.pdf]] +  -[[Ockham algebras]] 
-#[[Order algebras.pdf]] +  -[[Order algebras]] 
-#[[Ordered fields.pdf]] +  -[[Ordered fields]] 
-#[[Ordered groups.pdf]] +  -[[Ordered groups]] 
-#[[Ordered monoids.pdf]] +  -[[Ordered monoids]] 
-#[[Ordered monoids with zero.pdf]] +  -[[Ordered monoids with zero]] 
-#[[Ordered rings.pdf]] +  -[[Ordered rings]] 
-#[[Ordered semigroups.pdf]] +  -[[Ordered semigroups]] 
-#[[Partially ordered sets|Ordered sets.pdf]] +  -[[Partially ordered sets|Ordered sets]] 
-#[[Ore domains.pdf]] +  -[[Ore domains]] 
-#[[Ortholattices.pdf]] +  -[[Ortholattices]] 
-#[[Orthomodular lattices.pdf]] +  -[[Orthomodular lattices]] 
-#[[p-groups.pdf]] +  -[[p-groups]] 
-#[[Partial groupoids.pdf]] +  -[[Partial groupoids]] 
-#[[Partial semigroups.pdf]] +  -[[Partial semigroups]] 
-#[[Partially ordered groups.pdf]] +  -[[Partially ordered groups]] 
-#[[Partially ordered monoids.pdf]] +  -[[Partially ordered monoids]] 
-#[[Partially ordered semigroups.pdf]] +  -[[Partially ordered semigroups]] 
-#[[Partially ordered sets.pdf]] +  -[[Partially ordered sets]] 
-#[[Peirce algebras.pdf]] +  -[[Peirce algebras]] 
-#[[Pocrims.pdf]] +  -[[Pocrims]] 
-#[[FL-algebras|Pointed residuated lattices.pdf]] +  -[[FL-algebras|Pointed residuated lattices]] 
-#[[Polrims.pdf]] +  -[[Polrims]] 
-#[[Polyadic algebras.pdf]] +  -[[Polyadic algebras]] 
-#[[Partially ordered sets|Posets.pdf]] +  -[[Partially ordered sets|Posets]] 
-#[[Post algebras.pdf]] +  -[[Post algebras]] 
-#[[Preordered sets.pdf]] +  -[[Preordered sets]] 
-#[[Priestley spaces.pdf]] +  -[[Priestley spaces]] 
-#[[Principal Ideal Domains.pdf]] +  -[[Principal Ideal Domains]] 
-#[[Process algebras.pdf]] +  -[[Process algebras]] 
-#[[Pseudo basic logic algebras.pdf]] +  -[[Pseudo basic logic algebras]] 
-#[[Pseudo MTL-algebras.pdf]] +  -[[Pseudo MTL-algebras]] 
-#[[Pseudo MV-algebras.pdf]] +  -[[Pseudo MV-algebras]] 
-#[[Pseudocomplemented distributive lattices.pdf]] +  -[[Pseudocomplemented distributive lattices]] 
-#[[Pure discriminator algebras.pdf]] +  -[[Pure discriminator algebras]] 
-#[[Quantales.pdf]] +  -[[Quantales]] 
-#[[Quasigroups.pdf]] +  -[[Quasigroups]] 
-#[[Quasi-implication algebras.pdf]] +  -[[Quasi-implication algebras]] 
-#[[Preordered sets|Quasi-ordered sets.pdf]] +  -[[Preordered sets|Quasi-ordered sets]] 
-#[[Quasitrivial groupoids.pdf]] +  -[[Quasitrivial groupoids]] 
-#[[Rectangular bands.pdf]] +  -[[Rectangular bands]] 
-#[[Reflexive relations.pdf]] +  -[[Reflexive relations]] 
-#[[Regular rings.pdf]] +  -[[Regular rings]] 
-#[[Regular semigroups.pdf]] +  -[[Regular semigroups]] 
-#[[Relation algebras.pdf]] +  -[[Relation algebras]] 
-#[[Relative Stone algebras.pdf]] +  -[[Relative Stone algebras]] 
-#[[Relativized relation algebras.pdf]] +  -[[Relativized relation algebras]] 
-#[[Representable cylindric algebras.pdf]] +  -[[Representable cylindric algebras]] 
-#[[Representable lattice-ordered groups.pdf]] +  -[[Representable lattice-ordered groups]] 
-#[[Representable relation algebras.pdf]] +  -[[Representable relation algebras]] 
-#[[Representable residuated lattices.pdf]] +  -[[Representable residuated lattices]] 
-#[[Residuated idempotent semirings.pdf]] +  -[[Residuated idempotent semirings]] 
-#[[Residuated lattice-ordered semigroups.pdf]] +  -[[Residuated lattice-ordered semigroups]] 
-#[[Residuated lattices.pdf]] +  -[[Residuated lattices]] 
-#[[Residuated partially ordered monoids.pdf]] +  -[[Residuated partially ordered monoids]] 
-#[[Residuated partially ordered semigroups.pdf]] +  -[[Residuated partially ordered semigroups]] 
-#[[Rings.pdf]] +  -[[Rings]] 
-#[[Rings with identity.pdf]] +  -[[Rings with identity]] 
-#[[Schroeder categories.pdf]] +  -[[Schroeder categories]] 
-#[[Semiassociative relation algebras.pdf]] +  -[[Semiassociative relation algebras]] 
-#[[Semidistributive lattices.pdf]] +  -[[Semidistributive lattices]] 
-#[[Semigroups.pdf]] +  -[[Semigroups]] 
-#[[Monoids|Semigroups with identity.pdf]] +  -[[Monoids|Semigroups with identity]] 
-#[[Semigroups with zero.pdf]] +  -[[Semigroups with zero]] 
-#[[Semilattices.pdf]] +  -[[Semilattices]] 
-#[[Semilattices with identity.pdf]] +  -[[Semilattices with identity]] 
-#[[Semilattices with zero.pdf]] +  -[[Semilattices with zero]] 
-#[[Semirings.pdf]] +  -[[Semirings]] 
-#[[Semirings with identity.pdf]] +  -[[Semirings with identity]] 
-#[[Semirings with identity and zero.pdf]] +  -[[Semirings with identity and zero]] 
-#[[Semirings with zero.pdf]] +  -[[Semirings with zero]] 
-#[[Sequential algebras.pdf]] +  -[[Sequential algebras]] 
-#[[Sets.pdf]] +  -[[Sets]] 
-#[[Shells.pdf]] +  -[[Shells]] 
-#[[Division rings|Skew-fields.pdf]] +  -[[Division rings|Skew-fields]] 
-#[[Skew_lattices.pdf]] +  -[[Skew_lattices]] 
-#[[Small categories.pdf]] +  -[[Small categories]] 
-#[[Sober T0-spaces.pdf]] +  -[[Sober T0-spaces]] 
-#[[Solvable groups.pdf]] +  -[[Solvable groups]] 
-#[[Stably compact spaces.pdf]] +  -[[Stably compact spaces]] 
-#[[Steiner quasigroups.pdf]] +  -[[Steiner quasigroups]] 
-#[[Stone algebras.pdf]] +  -[[Stone algebras]] 
-#[[Symmetric relations.pdf]] +  -[[Symmetric relations]] 
-#[[T0-spaces.pdf]] +  -[[T0-spaces]] 
-#[[T1-spaces.pdf]] +  -[[T1-spaces]] 
-#[[Hausdorff spaces|T2-spaces.pdf]] +  -[[Hausdorff spaces|T2-spaces]] 
-#[[Tarski algebras.pdf]] +  -[[Tarski algebras]] 
-#[[Tense algebras.pdf]] +  -[[Tense algebras]] 
-#[[Temporal algebras.pdf]] +  -[[Temporal algebras]] 
-#[[Topological groups.pdf]] +  -[[Topological groups]] 
-#[[Topological spaces.pdf]] +  -[[Topological spaces]] 
-#[http://www.wikipedia.org/wiki/Topological_vector_space Topological vector spaces] +  -[[wp>Topological vector spaces]
-#[[Torsion groups.pdf]] +  -[[Torsion groups]] 
-#[[Ordered monoids|Totally ordered monoids.pdf]] +  -[[Ordered monoids|Totally ordered monoids]] 
-#[[Transitive relations.pdf]] +  -[[Transitive relations]] 
-#[[Trees.pdf]] +  -[[Trees]] 
-#[[Tournaments.pdf]] +  -[[Tournaments]] 
-#[[Unary algebras.pdf]] +  -[[Unary algebras]] 
-#[[Unique factorization domains.pdf]] +  -[[Unique factorization domains]] 
-#[[Rings with identity|Unital rings.pdf]] +  -[[Rings with identity|Unital rings]] 
-#[[Vector spaces.pdf]] +  -[[Vector spaces]] 
-#[[MV-algebras|Wajsberg algebras.pdf]] +  -[[MV-algebras|Wajsberg algebras]] 
-#[[Wajsberg hoops.pdf]] +  -[[Wajsberg hoops]] 
-#[[Weakly associative lattices.pdf]] +  -[[Weakly associative lattices]] 
-#[[Weakly associative relation algebras.pdf]] +  -[[Weakly associative relation algebras]] 
-#[[Weakly representable relation algebras.pdf]]+  -[[Weakly representable relation algebras]]
-[[Template.pdf]]+[[Template]]