A completeness theorem for Zermelo-Fraenkel set theory

DOI10.2307/2272230zbMath0332.02066MaRDI QIDQ4096945

William C. Powell

Publication date: 1976

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2272230

Mathematics Subject Classification ID

03E30: Axiomatics of classical set theory and its fragments

03C35: Categoricity and completeness of theories

03H99: Nonstandard models

Related Items

ON ADOPTING KRIPKE SEMANTICS IN SET THEORY