|
|
|
|
property of a Chu space
|
(Definition)
|
|
|
A property of a Chu space over $\Sigma$ with carrier $\mathcal{A}$ is some $Y\subseteq \Sigma^\mathcal{A}$ We say that a Chu space $\mathcal{C}=(\mathcal{A},r,\mathcal{X})$ satisfies $Y$ if $X\subseteq Y$
For example, every Chu space satisfies the property $\Sigma^\mathcal{A}$
|
"property of a Chu space" is owned by Henry.
|
|
(view preamble | get metadata)
| Also defines: |
satisfies as a Chu space |
|
|
Cross-references: satisfies, carrier, Chu space, property
This is version 2 of property of a Chu space, born on 2002-09-30, modified 2002-11-17.
Object id is 3497, canonical name is Property.
Accessed 2886 times total.
Classification:
| AMS MSC: | 03G99 (Mathematical logic and foundations :: Algebraic logic :: Miscellaneous) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
