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
Constructive Ordinal Notation Systems - MaRDI portal

Constructive Ordinal Notation Systems

From MaRDI portal

Publication:3222840

Jump to:navigation, search

DOI10.2307/2689658zbMath0558.03028OpenAlexW4240625841MaRDI QIDQ3222840

Frederick S. Gass

Publication date: 1984

Full work available at URL: https://doi.org/10.2307/2689658

zbMATH Keywords

survey algorithm ordinal notations Turing machine Gödel numbering recursive ordinals

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) History of mathematical logic and foundations (03-03) Computability and recursion theory (03D99) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Constructive Ordinal Notation Systems

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