A note on the diagonalizable algebras of PA and ZF
β Scribed by V.Yu. Shavrukov
- Publisher
- Elsevier Science
- Year
- 1993
- Tongue
- English
- Weight
- 886 KB
- Volume
- 61
- Category
- Article
- ISSN
- 0168-0072
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
In this note we give a formula for the multiplicities of homogenous Gorenstein algebras. Herzog, Huneke, and Srinivasan have conjectured bounds for the multiplicities of homogeneous CohenαMacaulay algebras. Herzog and Srinivasan have proved this conjecture for C-M algebras with quasi-pure resolution
## Abstract In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {β, <, >}, {β, <, >} and {β€, <, >}, respectively. In this pape