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
Recursive surreal numbers - MaRDI portal

Recursive surreal numbers

From MaRDI portal

Publication:750440

Jump to:navigation, search

DOI10.1305/NDJFL/1093635498zbMATH Open0714.03052OpenAlexW2026645389MaRDI QIDQ750440

Leon Harkleroad

Publication date: 1990

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093635498

zbMATH Keywords

cuts constructive ordinals recursive reals recursive surreal number sign sequences

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Ordinal and cardinal numbers (03E10)

Related Items (1)

Title not available (Why is that?)

This page was built for publication: Recursive surreal numbers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q750440)

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