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
scientific article; zbMATH DE number 4185598 - MaRDI portal

scientific article; zbMATH DE number 4185598

From MaRDI portal

Publication:5750855

Jump to:navigation, search

zbMATH Open0719.03026MaRDI QIDQ5750855

Publication date: 1990

Title of this publication is not available (Why is that?)

zbMATH Keywords

independence forcing generic second-order arithmetic dependent choice axiom of constructibility degrees of constructibility alternative set theory axioms of choice for systems of classes

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Nonstandard models of arithmetic (03H15) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5750855)

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