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
Specker sequences revisited - MaRDI portal

Specker sequences revisited

From MaRDI portal

Publication:5693602

Jump to:navigation, search

DOI10.1002/MALQ.200410048zbMath1088.03049OpenAlexW2045141709WikidataQ56607503 ScholiaQ56607503MaRDI QIDQ5693602

Jakob Grue Simonsen

Publication date: 26 September 2005

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200410048

zbMATH Keywords

constructive recursive mathematics Specker sequences

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Constructive real analysis (26E40)

Related Items (1)

Decidability and Specker sequences in intuitionistic mathematics

Cites Work

This page was built for publication: Specker sequences revisited

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