I n this study we reformulate GODEL'S completeness theorem such that any firstorder calculus can be tested for completeness. The theorem in this form gives simple sufficient and necessary algebraic conditions for the calculus to be complete.
A Sufficient Condition for Compactness of the ∂̄-Neumann Operator
✍ Scribed by Jeffery D. McNeal
- Publisher
- Elsevier Science
- Year
- 2002
- Tongue
- English
- Weight
- 179 KB
- Volume
- 195
- Category
- Article
- ISSN
- 0022-1236
No coin nor oath required. For personal study only.
✦ Synopsis
We show that the existence of a certain family of plurisubharmonic functions on a bounded domain in C n implies that the % @ @-Neumann operator associated to the domain is compact. Our condition generalizes previous work of Catlin on compactness of the % @ @-Neumann operator.
📜 SIMILAR VOLUMES
In this paper w e prove the following result. Let ml 2 m2 2 ... 2 ml be nonnegative integers. A necessary and sufficient condition for the complete graph K,, to be decomposed into stars S,,, , S
## Abstract The following theorem is proved: Let __G__ be a graph of even order. Assume that there exists a connected spanning subgraph __F__ of __G__ such that for every set __U__ of four vertices in __G__, if the subgraph of __F__ induced by __U__ is a star, then the subgraph of __G__ induced by