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
Cantorian models of predicative NF - MaRDI portal

Cantorian models of predicative NF

From MaRDI portal

Publication:6545088

Jump to:navigation, search

DOI10.1017/jsl.2022.75MaRDI QIDQ6545088

Panagiotis Rouvelas

Publication date: 29 May 2024

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

set theory simple type theory NF new foundations TST tangled type theory predicative NF

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70)

This page was built for publication: Cantorian models of predicative NF

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