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
Löb's theorem in a set theoretical setting - MaRDI portal

Löb's theorem in a set theoretical setting

From MaRDI portal

Publication:1419385

Jump to:navigation, search

DOI10.1023/B:STUD.0000009563.84627.CDzbMath1034.03053MaRDI QIDQ1419385

Cezary Cieśliński

Publication date: 14 January 2004

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

incompleteness antinomy Löb's theorem

Mathematics Subject Classification ID

Models of arithmetic and set theory (03C62) Set theory (03E99)

This page was built for publication: Löb's theorem in a set theoretical setting

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