A formalization of Essenin-Volpin's proof theoretical studies by means of nonstandard analysis
From MaRDI portal
Publication:4049048
DOI10.2307/2272346zbMath0296.02018MaRDI QIDQ4049048
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
03E35: Consistency and independence results
03E30: Axiomatics of classical set theory and its fragments
03F99: Proof theory and constructive mathematics
03H99: Nonstandard models
Related Items