Strong Logics of First and Second Order

DOI10.2178/bsl/1264433796zbMath1193.03019OpenAlexW2056937413MaRDI QIDQ5305552

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

first-order logicabsolutenesssecond-order logicfaithfulnessstrong logicsgeneric invariancelarge cardinal hypothesesWoodin's \(\Omega\)-logic

Mathematics Subject Classification ID

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

Related Items (3)

Second-order logic and the power set ⋮ Transfinite recursion and computation in the iterative conception of set ⋮ Feferman on Set Theory: Infinity up on Trial

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Pairs, sets and sequences in first-order theories
• Handbook of proof theory
• The axiom of determinacy, forcing axioms, and the nonstationary ideal
• A minimal predicative set theory
• Certain very large cardinals are not created in small forcing extensions
• A basis theorem for \(\sum^ 1_ 3\) sets of reals
• On the Question of Absolute Undecidability
• Plural Quantification Exposed
• Completeness in the theory of types
• Multiple universes of sets and indeterminate truth values

This page was built for publication: Strong Logics of First and Second Order