Second-order logic and the power set
type: Item
instance of: scholarly article
title: Second-order logic and the power set
zbMATH Open document ID: 1436.03024
author: Ethan Brauer
published in: Journal of Philosophical Logic
publication date: 2018-03-01T00:00:00Z
Mathematics Subject Classification ID: 03A05
Mathematics Subject Classification ID: 03B16
Mathematics Subject Classification ID: 03E30
zbMATH DE Number: 6845737
zbMATH Keywords: second-order logic
zbMATH Keywords: set theory
zbMATH Keywords: power set
zbMATH Keywords: axiom of separation
zbMATH Keywords: Jane
zbMATH Keywords: entanglement of logic and mathematics
MaRDI profile type: Publication
full work available at URL: s10992-016-9422-x
OpenAlex ID: W2563595353
cites work: Q4523461
cites work: Q3235339
cites work: Q4492739
cites work: A critical appraisal of second-order logic
cites work: Strong Logics of First and Second Order
cites work: On theorems of Gödel and Kreisel: Completeness and Markov's principle
cites work: The logic of paradox
cites work: Q4001345
cites work: Do Not Claim Too Much: Second-order Logic and First-order Logic
cites work: Higher-Order Logic or Set Theory: A False Dilemma
cites work: Another intuitionistic completeness proof
cites work: Second-Order Logic and Foundations of Mathematics
cites work: An intuitiomstic completeness theorem for intuitionistic predicate logic
cites work: Kreisel, the continuum hypothesis and second order set theory
DOI: 10.1007/S10992-016-9422-X
description: scientific article; zbMATH DE number 6845737