Relative consistency and accessible domains

From MaRDI portal

Publication:1202497

Jump to:navigation, search

zbMath0757.03004MaRDI QIDQ1202497

Wilfried Sieg

Publication date: 2 February 1993

Published in: Synthese (Search for Journal in Brave)

zbMATH Keywords

proof theory constructive foundation to mathematical analysis constructive relative consistency epistemological reductions generalization of Hilbert's program

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) History of mathematical logic and foundations (03-03) History of mathematics in the 19th century (01A55) Relative consistency and interpretations (03F25)

Related Items (1)

Hilbert, logicism, and mathematical existence

This page was built for publication: Relative consistency and accessible domains

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:1202497&oldid=13265995"