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

scientific article; zbMATH DE number 749933

From MaRDI portal

Publication:4764114

Jump to:navigation, search

zbMath0823.03028MaRDI QIDQ4764114

Robert S. Lubarsky

Publication date: 1 May 1995

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

zbMATH Keywords

constructibility definability intuitionistic set theory Axiom of Infinity

Mathematics Subject Classification ID

Inner models, including constructibility, ordinal definability, and core models (03E45) Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55) Other notions of set-theoretic definability (03E47)

Related Items (1)

Constructing the constructible universe constructively

This page was built for publication:

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