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

DOI10.2307/2272346MaRDI QIDQ4049048zbMATH OpenOpenAlexFDO

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, feasibility, and the sorites
• Strict finitism and feasibility
• Hypercomputation by definition
• On V.A. Yankov’s Contribution to the History of Foundations of Mathematics

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)