Boolean-valued second-order logic

DOI10.1215/00294527-2835065MaRDI QIDQ2345397zbMATH OpenOpenAlexFDO

Authors Daisuke Ikegami, Jouko Väänänen

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, https://semanticscholar.org/paper/03f32df0b6f01638cb15134f562455c93f5fa902

zbMATH Keywords

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

Mathematics Subject Classification ID

Second- and higher-order model theory (03C85) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Abstract model theory (03C95) Other aspects of forcing and Boolean-valued models (03E40) Generic absoluteness and forcing axioms (03E57)

Recommendations

• scientific article; zbMATH DE number 1749187
• Boolean-valued universe as an algebraic system. I: Basic principles
• A note on the Hanf number of second-order logic
• Strong logics of first and second order
• On the structure of the Boolean-valued universe

Cites work

• An -logic primer
• An outline of inner model theory
• Completeness in the theory of types
• Homogeneously Suslin sets in tame mice
• scientific article; zbMATH DE number 3937166 (Why is no real title available?)
• scientific article; zbMATH DE number 567513 (Why is no real title available?)
• scientific article; zbMATH DE number 2121504 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Iteration Trees
• Local K^c constructions
• On the role of supercompact and extendible cardinals in logic
• Second order logic or set theory?
• Suitable extender models. I
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• The self-iterability of L[E]
• Three days of -logic

Cited in

(4)

• Forcing revisited
• Of sheep and wolves: equivalence and disagreement in set theory
• Generically extendible cardinals
• A parametrized axiomatization for a large number of restricted second-order logics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2345397)