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
A sequence of combinatorial judgments which are independent of Peano arithmetic - MaRDI portal

A sequence of combinatorial judgments which are independent of Peano arithmetic

From MaRDI portal

Publication:1153143

Jump to:navigation, search

zbMath0462.03011MaRDI QIDQ1153143

A. A. Tverskoj

Publication date: 1980

Published in: Moscow University Mathematics Bulletin (Search for Journal in Brave)

zbMATH Keywords

finite Ramsey theorem

Mathematics Subject Classification ID

Undecidability and degrees of sets of sentences (03D35) Nonstandard models of arithmetic (03H15)

This page was built for publication: A sequence of combinatorial judgments which are independent of Peano arithmetic

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