TopicEntryOnOrderTheory 2008-04-22 00:09:14 2009-01-19 12:48:42 Topic overview of the content of PlanetMath \usepackage{amssymb,amscd} \usepackage{amsmath} \usepackage{amsfonts} \usepackage{mathrsfs} % used for TeXing text within eps files %\usepackage{psfrag} % need this for including graphics (\includegraphics) %\usepackage{graphicx} % for neatly defining theorems and propositions \usepackage{amsthm} % making logically defined graphics \usepackage{xypic} \usepackage{pst-plot} % define commands here \newcommand*{\abs}[1]{\left\lvert #1\right\rvert} \newtheorem{prop}{Proposition} \newtheorem{thm}{Theorem} \newtheorem{ex}{Example} \newcommand{\real}{\mathbb{R}} \newcommand{\pdiff}[2]{\frac{\partial #1}{\partial #2}} \newcommand{\mpdiff}[3]{\frac{\partial^#1 #2}{\partial #3^#1}} This is an entry-in-progress for a new topic entry on order theory. \begin{enumerate} \item index of inequalities \item partial ordering, inductive order, linear ordering, pre-ordering, well-ordering \item semilattices \item general lattice theory \begin{enumerate} \item modular lattices \item complemented lattices \item distributive lattices \end{enumerate} \item lattices with operators \item Boolean algebras \item ordered algebraic structures \item applications to topology, analysis \item applications to mathematical logic, algebraic logic \item applications to computer science, formal concept analysis \end{enumerate}