Revision as of 05:16, 2 April 2008 edit Gregbard (talk \| contribs) Extended confirmed users, Pending changes reviewers 90,738 edits math logic using AWB ← Previous edit		Revision as of 07:50, 2 April 2008 edit undo Hans Adler (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 26,943 edits →"carrier": very late response Next edit →
Line 7: =="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. --[[User:Trovatore\|Trovatore]] 16:43, 29 November 2005 (UTC) :"Carrier" is relatively standard terminology. [http://scholar.google.com/scholar?q=%22universal+algebra%22+carrier] [http://scholar.google.com/scholar?q=%22model+theory%22+carrier] 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. --[[User:Hans Adler\|Hans Adler]] ([[User talk:Hans Adler\|talk]]) 07:50, 2 April 2008 (UTC)

Talk:Two-element Boolean algebra: Difference between revisions