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

scientific article; zbMATH DE number 1968949

From MaRDI portal

Publication:4422744

Jump to:navigation, search

zbMath1030.03001MaRDI QIDQ4422744

Heinz-Dieter Ebbinghaus

Publication date: 21 August 2003

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

zbMATH Keywords

independence consistency inner model recursion set theory incompleteness axiom of choice reflection principle cardinals ordinals Zermelo-Fraenkel axioms von Neumann hierarchy von Neumann-Bernays-Gödel axioms wellfounded structures

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Axiomatics of classical set theory and its fragments (03E30) Other classical set theory (including functions, relations, and set algebra) (03E20) Ordinal and cardinal numbers (03E10) Axiom of choice and related propositions (03E25) Set theory (03Exx)

Related Items (1)

Conjunctive query pattern structures: a relational database model for formal concept analysis

This page was built for publication:

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