In this post, we summarize my previous work of the series in a more readable and concise manner. (Proofs are not included.)
Tag: Series: Non-Standard Axioms for Various Math Structures
In this post, we continue the discussion from the previous in the series.
We continue the discussion from the previous post in the series.
We continue the discussion from this post.
In this post, we continue the discussion from the previous in the series.
We continue the discussion from the previous post in the series.
In this post, we continue the discussion from the previous in the series.
This is part of a series in which we investigate non-standard axiomatizations of various math structures. The previous post in the series was concerned with single equational axioms for equational classes. In this post, we are inspired by a particularly elegant characterization of (abstract) Boolean algebras, and we consider whether similar “Boolean algebra-like” characterizations can be given for other common structures.
This is the first post in a series. This started as an investigation of various non-standard axiomatizations of common structures, but soon the posts ended up focusing on a particular such kind of axiomatization. Thus, this title is misleading (and anyway, it seems too broad for a single series.)
