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
Ramsey Theorem as an Intuitionistic Property of Well Founded Relations - MaRDI portal

Ramsey Theorem as an Intuitionistic Property of Well Founded Relations

From MaRDI portal

Publication:5170810

Jump to:navigation, search

DOI10.1007/978-3-319-08918-8_7zbMath1417.03299OpenAlexW2230961241MaRDI QIDQ5170810

Silvia Steila, Stefano Berardi

Publication date: 24 July 2014

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_7

zbMATH Keywords

Ramsey theorem intuitionism inductive definitions termination of while-programs

Mathematics Subject Classification ID

Ramsey theory (05D10) Intuitionistic mathematics (03F55)

Related Items (1)

An intuitionistic version of Ramsey's theorem and its use in program termination

This page was built for publication: Ramsey Theorem as an Intuitionistic Property of Well Founded Relations

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