Second-order logic and the power set

DOI10.1007/S10992-016-9422-XzbMath1436.03024OpenAlexW2563595353MaRDI QIDQ1702982

Ethan Brauer

Publication date: 1 March 2018

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

Full work available at URL: https://doi.org/10.1007/s10992-016-9422-x

zbMATH Keywords

set theorysecond-order logicpower setaxiom of separationentanglement of logic and mathematicsJane

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Axiomatics of classical set theory and its fragments (03E30) Higher-order logic (03B16)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kreisel, the continuum hypothesis and second order set theory
• The logic of paradox
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• A critical appraisal of second-order logic
• Another intuitionistic completeness proof
• An intuitiomstic completeness theorem for intuitionistic predicate logic
• Do Not Claim Too Much: Second-order Logic and First-order Logic
• Second-Order Logic and Foundations of Mathematics
• Higher-Order Logic or Set Theory: A False Dilemma
• Strong Logics of First and Second Order

This page was built for publication: Second-order logic and the power set