[bibtex key=Hamkins2009:SomeSecondOrderSetTheory]
This article surveys two recent developments in set theory sharing an essential second-order nature, namely, the modal logic of forcing, oriented upward from the universe of set theory to its forcing extensions; and set-theoretic geology, oriented downward from the universe to the inner models over which it arises by forcing. The research is a mixture of ideas from several parts of logic, including, of course, set theory and forcing, but also modal logic, finite combinatorics and the philosophy of mathematics, for it invites a mathematical engagement with various philosophical views on the nature of mathematical existence.
Hi,
I am a researcher in logic from Chennai Mathematical Institute, Chennai, India. Could you please send me the paper titled “Some second order set theory”?
Vinod.