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
A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis - MaRDI portal

A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis

From MaRDI portal

Publication:4049048

Jump to:navigation, search

DOI10.2307/2272346zbMath0296.02018OpenAlexW2125867676MaRDI QIDQ4049048

James R. Geiser

Publication date: 1974

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Consistency and independence results (03E35) Axiomatics of classical set theory and its fragments (03E30) Proof theory and constructive mathematics (03F99) Nonstandard models (03H99)

Related Items (4)

On V.A. Yankov’s Contribution to the History of Foundations of Mathematics ⋮ STRICT FINITISM, FEASIBILITY, AND THE SORITES ⋮ Strict finitism and feasibility ⋮ Hypercomputation by definition

This page was built for publication: A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis

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