A type-free Gödel interpretation

DOI10.2307/2272820zbMath0393.03042OpenAlexW2051050595MaRDI QIDQ4175558

Michael J. Beeson

Publication date: 1978

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

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

zbMATH Keywords

Constructive MathematicsDiller-Nahm InterpretationFeferman's System for Explicit MathematicsType-Free Goedel Interpretation

Mathematics Subject Classification ID

Proof theory and constructive mathematics (03F99)

Related Items (1)

Metamathematical properties of a constructive multi-typed theory

Cites Work

• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: A type-free Gödel interpretation