Some formal relative consistency proofs

DOI10.2307/2268946zbMath0053.00501OpenAlexW2023186414MaRDI QIDQ5823278

Robert McNaughton

Publication date: 1953

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

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

zbMATH Keywords

philosophy and foundations of mathematics

Related Items (1)

A Non-Standard Truth Definition

Cites Work

• New Foundations for Mathematical Logic
• Remarks on the Comparison of Axiom Systems

This page was built for publication: Some formal relative consistency proofs