Principles of reflection and second-order logic

DOI10.1007/BF00152934zbMath0635.03059OpenAlexW2006325208MaRDI QIDQ1097275

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)

Related Items

The broadest necessity ⋮ Substitutional validity for modal logic ⋮ Logic, ontology, mathematical practice ⋮ FREGE MEETS ZERMELO: A PERSPECTIVE ON INEFFABILITY AND REFLECTION ⋮ Toward a theory of second-order consequence ⋮ The good, the bad and the ugly

Cites Work

• Unnamed Item
• Set theory. An introduction to large cardinals
• Axiom schemata of strong infinity in axiomatic set theory
• Principles of reflection in axiomatic set theory
• Long projective wellorderings
• On a set theory of bernays