Principles of reflection and second-order logic

DOI10.1007/BF00152934MaRDI QIDQ1097275zbMATH OpenOpenAlexFDO

Authors Stewart Shapiro

Publication date 1987

Published in Journal of Philosophical Logic (Search for Journal in Brave)

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

zbMATH Keywords

reflection principlessecond order logic

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Second-Order Logic and Foundations of Mathematics
• A critical appraisal of second-order logic
• Second-order logic and the power set
• scientific article; zbMATH DE number 50939
• A defense of second-order logic

Cites work

• scientific article; zbMATH DE number 3237808 (Why is no real title available?)
• Axiom schemata of strong infinity in axiomatic set theory
• Long projective wellorderings
• On a set theory of bernays
• Principles of reflection in axiomatic set theory
• Set theory. An introduction to large cardinals

Cited in

(8)

• The good, the bad and the ugly
• Squeezing arguments and strong logics
• Toward a theory of second-order consequence
• Second-order logic and the power set
• The broadest necessity
• Frege meets Zermelo: a perspective on ineffability and reflection
• Substitutional validity for modal logic
• Logic, ontology, mathematical practice

This page was built for publication: Principles of reflection and second-order logic

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