GENERALIZING BOOLOS’ THEOREM

DOI10.1017/S1755020316000332zbMath1417.03295MaRDI QIDQ5737962

Graham Leach-Krouse

Publication date: 31 May 2017

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

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Second- and higher-order arithmetic and fragments (03F35) Relative consistency and interpretations (03F25)

Cites Work

• Finite Axiomatizability using additional predicates
• Second Order Logic or Set Theory?
• Unnamed Item
• Unnamed Item

This page was built for publication: GENERALIZING BOOLOS’ THEOREM