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
The Ways of Hilbert’s Axiomatics: Structural and Formal - MaRDI portal

The Ways of Hilbert’s Axiomatics: Structural and Formal

From MaRDI portal

Publication:5856192

Jump to:navigation, search

DOI10.1093/OSO/9780190641221.003.0006OpenAlexW4247195684MaRDI QIDQ5856192

Wilfried Sieg

Publication date: 25 March 2021

Published in: The Prehistory of Mathematical Structuralism (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/oso/9780190641221.003.0006

zbMATH Keywords

consistency intuitionism finitism inductive definition mathematical structuralism logical semantics complete field structural definition

Mathematics Subject Classification ID

Philosophy of mathematics (00A30) History of mathematics in the 20th century (01A60) Foundations of classical theories (including reverse mathematics) (03B30) History of mathematical logic and foundations (03-03)

This page was built for publication: The Ways of Hilbert’s Axiomatics: Structural and Formal

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