William C. Powell
From MaRDI portal
Person:4096944
Available identifiers
zbMath Open powell.william-cMaRDI QIDQ4096944
List of research outcomes
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
Doctoral students
No records found.
Known relations from the MaRDI Knowledge Graph
Property | Value |
---|---|
MaRDI profile type | MaRDI person profile |
instance of | human |
This page was built for person: William C. Powell