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 1045384 - MaRDI portal

scientific article; zbMATH DE number 1045384

From MaRDI portal

Publication:4347138

Jump to:navigation, search

zbMath0870.03022MaRDI QIDQ4347138

Friederike Körner

Publication date: 7 August 1997

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

consistency first-order languages New Foundations complexity hierarchy permutation models stratified formula omitting types theorems model companion of NF models with indiscernible elements unstratified formulas

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Models of arithmetic and set theory (03C62)

This page was built for publication:

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