Boolean-valued second-order logic

DOI10.1215/00294527-2835065zbMath1372.03090OpenAlexW1973104056MaRDI QIDQ2345397

Jouko Väänänen, Daisuke Ikegami

Publication date: 22 May 2015

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://projecteuclid.org/euclid.ndjfl/1427202979

zbMATH Keywords

\(\Omega\)-logicBoolean validityBoolean-valued second-order logicfull second-order logic

Mathematics Subject Classification ID

Related Items (1)

Forcing revisited

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• On the role of supercompact and extendible cardinals in logic
• Three Days of Ω-logic(<Special Section>Mathematical Logic and Its Applications)
• An Outline of Inner Model Theory
• SUITABLE EXTENDER MODELS I
• The self-iterability of L[E]
• Iteration Trees
• Homogeneously Suslin sets in tame mice
• Second Order Logic or Set Theory?
• Local K^c constructions
• Completeness in the theory of types

This page was built for publication: Boolean-valued second-order logic