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
Ultradiophantine Categories - MaRDI portal

Ultradiophantine Categories

From MaRDI portal

Publication:3808094

Jump to:navigation, search

DOI10.1002/MALQ.19880340402zbMath0659.03039OpenAlexW4253226216MaRDI QIDQ3808094

Leopoldo Román

Publication date: 1988

Published in: Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

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

zbMATH Keywords

recursive analysis arithmetic over categories ultradiophantine predicate

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Categorical logic, topoi (03G30) Topoi (18B25)

This page was built for publication: Ultradiophantine Categories

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