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
The equivalence of definable quantifiers in second order arithmetic - MaRDI portal

The equivalence of definable quantifiers in second order arithmetic

From MaRDI portal

Publication:3955340

Jump to:navigation, search

DOI10.4064/FM-113-1-59-65zbMath0493.03011OpenAlexW1476401661MaRDI QIDQ3955340

Wojciech Guzicki

Publication date: 1981

Published in: Fundamenta Mathematicae (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/211285

zbMATH Keywords

equivalent quantifiers nonequivalent countably additive quantifiers

Mathematics Subject Classification ID

Logic with extra quantifiers and operators (03C80) Models of arithmetic and set theory (03C62)

This page was built for publication: The equivalence of definable quantifiers in second order arithmetic

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