Talk:Two-element Boolean algebra
From Wikipedia, the free encyclopedia
| WikiProject Mathematics (Rated Start-Class) | |||
|---|---|---|---|
 |
|||
| Mathematics rating: | Start Class | Low Priority | Field: Foundations, logic, and set theory |
|
Please update this rating as the article progresses, or if the rating is inaccurate. Please also add comments to suggest improvements to the article. |
|||
== List update
Philip Meguire, 22.10.05: I have rewritten this at some length. To understand my interest on this topic, see the references to Laws of Form.
[edit] "carrier"
Where does this "carrier" terminology come from? The standard term would be "universe", if you're thinking of a BA as a model of a theory. If it's Laws of Form stuff, I'm not too excited about keeping that around. --Trovatore 16:43, 29 November 2005 (UTC)
- "Carrier" is relatively standard terminology. [1] [2] I don't know if it is
- Personally I like it because it's short and descriptive. "Underlying set" is similarly descriptive, but a bit too clumsy to be used all the time. "Universe" is also short and descriptive, but descriptive in the wrong way. It comes with connotations of something huge that cannot be changed. --Hans Adler (talk) 07:50, 2 April 2008 (UTC)
