Main Page

From Structures

An online database of Mathematical Structures

This website is currently under development.

The previous version (using LaTeX/PDF) is available at http://math.chapman.edu/cgi-bin/structures.

The first version (on a usemod wiki) is available at http://math.chapman.edu/cgi-bin/structures.pl.

The webpages collected here (will) list information about classes of mathematical structures. The aim is to have a central place to check what properties are known about these structures.

These pages are currently still under construction. Knowledgeable readers are encouraged to add or correct information. If you decide to add content or fix a mathematical statement (rather than just fixing a typo) it is suggested that you create an account and log in on this site.

Initially the main content concerns mostly first-order classes of relational structures and, more particularly, varieties of universal algebras. If you are familiar with some of these classes of structures, feel free to add some relevant information and references by using the edit link on the respective page. Most pages are written in a subset of standard LaTeX (if you don't know LaTeX you should probably not edit these pages). You can use this sandbox page to try out editing (without worrying about deleting useful information).

Suggestions or comments? Just follow the link and edit the page.

This front page can also be edited to add further classes of structures. A criterion for inclusion in this list is that there should be some journal publication or book where the class has been named and defined.

Acknowledgements | Notation and terminology | Properties | Tools | Online books and lecture notes

Theorem prover input files

[edit]

Alphabetical list of all classes

Template

Retrieved from "http://math.chapman.edu/structures/index.php/Main_Page"

Main Page

From Structures

An online database of Mathematical Structures

Alphabetical list of all classes

Views

Personal tools

Navigation

Search

Toolbox