The relative consistency of system RRC^* and some of its extensions

DOI10.1007/BF01057932MaRDI QIDQ1337597zbMATH OpenOpenAlexFDO

Authors Max A. Freund

Publication date 10 November 1994

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01057932

zbMATH Keywords

relative consistency

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25)

Recommendations

• Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)
• scientific article; zbMATH DE number 2222023
• scientific article; zbMATH DE number 4101177
• The machinery of consistency proofs
• scientific article; zbMATH DE number 2201266

Cites work

• Conceptual realism versus Quine on classes and higher-order logic
• Frege's double correlation thesis and Quine's set theories NF and ML
• scientific article; zbMATH DE number 3993529 (Why is no real title available?)

Cited in

(2)

• Semantics for two second-order logical systems: \(\equiv\mathbf{RRC}^*\) and Cocchiarella's \(\mathbf{RRC}^*\)
• scientific article; zbMATH DE number 4101177 (Why is no real title available?)

This page was built for publication: The relative consistency of system RRC\(^*\) and some of its extensions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1337597)