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

scientific article; zbMATH DE number 5200715

From MaRDI portal

Publication:5310880

Jump to:navigation, search

zbMath1120.03008MaRDI QIDQ5310880

Robert Goldblatt

Publication date: 15 October 2007

Full work available at URL: http://www.jucs.org/jucs_11_12/axiomaatic_classes_of

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

zbMATH Keywords

bisimulation intuitionistic logic Kripke model prime filter saturated model disjoint union iterated ultrapower

Mathematics Subject Classification ID

Ultraproducts and related constructions (03C20) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (2)

Properties of saturation in monotonic neighbourhood models and some applications ⋮ Unnamed Item

This page was built for publication:

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