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 proofless proof of the Barwise compactness theorem - MaRDI portal

A proofless proof of the Barwise compactness theorem

From MaRDI portal

Publication:3797243

Jump to:navigation, search

DOI10.2307/2274526zbMath0652.06005OpenAlexW4246185252MaRDI QIDQ3797243

Mark Howard

Publication date: 1988

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

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

zbMATH Keywords

diagonalization Barwise compactness theorem definability of forcing

Mathematics Subject Classification ID

Partial orders, general (06A06) Other aspects of forcing and Boolean-valued models (03E40) Model-theoretic forcing (03C25)

This page was built for publication: A proofless proof of the Barwise compactness theorem

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