Boolean-valued second-order logic

DOI10.1215/00294527-2835065zbMATH Open1372.03090OpenAlexW1973104056MaRDI QIDQ2345397FDOQ2345397

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Completeness in the theory of types
• An outline of inner model theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• Iteration Trees
• Title not available (Why is that?)
• On the role of supercompact and extendible cardinals in logic
• Homogeneously Suslin sets in tame mice
• SUITABLE EXTENDER MODELS I
• Second Order Logic or Set Theory?
• The self-iterability of L[E]
• An \(\Omega\)-logic primer
• Local K^c constructions
• Three days of \(\Omega\)-logic

Cited In (1)

• Forcing revisited

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)