Boolean-valued second-order logic
type: Item
instance of: scholarly article
title: Boolean-valued second-order logic
zbMATH Open document ID: 1372.03090
DOI: 10.1215/00294527-2835065
author: Daisuke Ikegami
author: Jouko Väänänen
published in: Notre Dame Journal of Formal Logic
publication date: 2015-05-22T00:00:00Z
full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202979
Mathematics Subject Classification ID: 03C95
Mathematics Subject Classification ID: 03C90
Mathematics Subject Classification ID: 03E40
Mathematics Subject Classification ID: 03E57
Mathematics Subject Classification ID: 03C85
Mathematics Subject Classification ID: 03B15
zbMATH DE Number: 6438793
zbMATH Keywords: Boolean-valued second-order logic
zbMATH Keywords: full second-order logic
zbMATH Keywords: \(\Omega\)-logic
zbMATH Keywords: Boolean validity
MaRDI profile type: Publication
OpenAlex ID: W1973104056
cites work: Q3425057
cites work: Q3710519
cites work: Completeness in the theory of types
cites work: Q4830329
cites work: Three days of \(\Omega\)-logic
cites work: On the role of supercompact and extendible cardinals in logic
cites work: Iteration Trees
cites work: Q4291791
cites work: Q5734410
cites work: The self-iterability of L[E]
cites work: Homogeneously Suslin sets in tame mice
cites work: Local Kc constructions
cites work: An Outline of Inner Model Theory
cites work: Second Order Logic or Set Theory?
cites work: The axiom of determinacy, forcing axioms, and the nonstationary ideal
cites work: SUITABLE EXTENDER MODELS I
description: scientific article