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
Axiomatic (and Non-Axiomatic) Mathematics - MaRDI portal

Axiomatic (and Non-Axiomatic) Mathematics

From MaRDI portal

Publication:6347347

Jump to:navigation, search

DOI10.1216/RMJ.2022.52.1157zbMath1525.03055arXiv2008.08283MaRDI QIDQ6347347

Saeed Salehi

Publication date: 19 August 2020

Mathematics Subject Classification ID

Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30) Quantifier elimination, model completeness, and related topics (03C10) Gödel numberings and issues of incompleteness (03F40)

This page was built for publication: Axiomatic (and Non-Axiomatic) Mathematics

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