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

scientific article; zbMATH DE number 1795225

From MaRDI portal

Publication:4552746

Jump to:navigation, search

zbMath1041.03051MaRDI QIDQ4552746

Jan von Plato

Publication date: 2001

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

zbMATH Keywords

lattice constructive mathematics partial order

Mathematics Subject Classification ID

Partial orders, general (06A06) Other constructive mathematics (03F65) Lattices (06B99)

Related Items (6)

Equality and Apartness in Bi-intuitinistic Logic ⋮ Interpolation in extensions of first-order logic ⋮ Intuitionistic mereology ⋮ Intuitionistic mereology. II: Overlap and disjointness ⋮ Apartness, sharp elements, and the Scott topology of domains ⋮ Unnamed Item

This page was built for publication:

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