Main Page

Welcome to , the research encyclopedia of mathematical logic and universal algebra that anyone can edit.

This wiki will supplement Wikipedia's coverage of the subject. It is expected that Wikipedia policies will be applied here, with some important modifications:
 * Notability is evaluated with respect to the model theory community.
 * Verifiability criteria will be relaxed as appropriate for the community. Proofs and references to preprints by model theorists are sufficient. Original research is welcome here.
 * It is likely that this online community will be more friendly than the Wikipedia community, since many editors will know each other personally. Very likely most users will contribute under their real name.
 * Anything goes, as long as it is focused on advancing serious mathematical research or its presentation.

articles since (Month) (Year)