William C. Powell
From MaRDI portal
Person:4096944
Available identifiers
zbMath Open powell.william-cMaRDI QIDQ4096944
List of research outcomes
 | This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon! |
| Publication | Date of Publication | Type |
|---|---|---|
| A completeness theorem for Zermelo-Fraenkel set theory | 1976-01-01 | Paper |
| Extending Gödel's negative interpretation to ZF | 1975-01-01 | Paper |
| Variations of Keisler's theorem for complete embeddings | 1974-01-01 | Paper |
| Standard models of set theory with predication | 1971-01-01 | Paper |
Research outcomes over time
This page was built for person: William C. Powell
