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

DOI10.2307/2272346zbMATH Open0296.02018OpenAlexW2125867676MaRDI QIDQ4049048FDOQ4049048

Authors: 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)

Cited In (4)

• Strict finitism and feasibility
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics
• Strict finitism, feasibility, and the sorites
• Hypercomputation by definition

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4049048)