Deprecated: $wgMWOAuthSharedUserIDs=false is deprecated, set $wgMWOAuthSharedUserIDs=true, $wgMWOAuthSharedUserSource='local' instead [Called from MediaWiki\HookContainer\HookContainer::run in /var/www/html/w/includes/HookContainer/HookContainer.php at line 135] in /var/www/html/w/includes/Debug/MWDebug.php on line 372
A completeness theorem for Zermelo-Fraenkel set theory - MaRDI portal

A completeness theorem for Zermelo-Fraenkel set theory

From MaRDI portal

Publication:4096945

Jump to:navigation, search

DOI10.2307/2272230zbMath0332.02066OpenAlexW4241978190MaRDI 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

Axiomatics of classical set theory and its fragments (03E30) Categoricity and completeness of theories (03C35) Nonstandard models (03H99)

Related Items (1)

ON ADOPTING KRIPKE SEMANTICS IN SET THEORY

This page was built for publication: A completeness theorem for Zermelo-Fraenkel set theory

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:4096945&oldid=17860890"