Strong logics of first and second order

DOI10.2178/BSL/1264433796MaRDI QIDQ5305552zbMATH OpenOpenAlexFDO

Authors Peter Koellner

Publication date 22 March 2010

Published in The Bulletin of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2178/bsl/1264433796

zbMATH Keywords

absolutenessfaithfulnessfirst-order logicgeneric invariancelarge cardinal hypothesessecond-order logicstrong logicsWoodin's \(\Omega\)-logic

Mathematics Subject Classification ID

Classical first-order logic (03B10) Large cardinals (03E55)

Recommendations

• scientific article; zbMATH DE number 764208
• Inner models from extended logics. I
• Second-Order Logic and Foundations of Mathematics
• A critical appraisal of second-order logic
• An -logic primer

Cites work

• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• A minimal predicative set theory
• Certain very large cardinals are not created in small forcing extensions
• Completeness in the theory of types
• Handbook of proof theory
• scientific article; zbMATH DE number 3999883 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• Mathematical thought and its objects
• Multiple universes of sets and indeterminate truth values
• On the Question of Absolute Undecidability
• Pairs, sets and sequences in first-order theories
• Plural Quantification Exposed
• The axiom of determinacy, forcing axioms, and the nonstationary ideal

Cited in

(15)

• Strong normalization property for second order linear logic
• The strong version of a sentential logic
• Second-order logic and the power set
• Boolean-valued second-order logic
• scientific article; zbMATH DE number 5000990 (Why is no real title available?)
• An -logic primer
• Squeezing arguments and strong logics
• scientific article; zbMATH DE number 764208 (Why is no real title available?)
• Transfinite recursion and computation in the iterative conception of set
• Feferman on set theory: infinity up on trial
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS
• Risk and theoretical equivalence in mathematical foundations
• Of sheep and wolves: equivalence and disagreement in set theory
• The modal logic of potential infinity: branching versus convergent possibilities
• Pure second-order logic with second-order identity

This page was built for publication: Strong logics of first and second order

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