In Model Theory a theory defined syntactically (possibly by some grammar) has models (usually in the category of Sets); what theory (call it the boolean theory - for obvious reasons) has its models exactly the boolean algebras?


You can find several equivalent sets of axioms here.

  • A one axiom basis - that's surprising. And the examples aren't contrivances of multi-basis formulations - at least they don't appear to be. – Nick Sep 22 '14 at 1:31

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.