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

scientific article; zbMATH DE number 3618140

From MaRDI portal

Publication:4182745

Jump to:navigation, search

zbMath0398.03047MaRDI QIDQ4182745

Herman Ruge Jervell

Publication date: 1978

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

zbMATH Keywords

Type Theory Transfinite Induction Philosophical Constructive Universes Metamathematics of Constructive Systems Primitive Recursive Predicates Proof-Theoretic Ordinals Skolem Arithmetic

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Metamathematics of constructive systems (03F50) Recursive ordinals and ordinal notations (03F15)

Related Items (2)

Proof Theory of Constructive Systems: Inductive Types and Univalence ⋮ Semantics of algorithmic languages

This page was built for publication:

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