06:17
new-tag Two new tags consistency and diamond. They were both created in the same question - which does not have a top-level tag: Is diamond consistent with 2nd order PA?
1

If $T$ is a theorem of ZF which says something only about reals, then one may want to prove $T$ using a theory like 2nd order PA or related theories like ZFC$^-$ or GBC$^-$ (minus accounts for the absence of the Power Set axiom). In many cases this goes through, sometimes rather straightforwardly...
In mathematics, and particularly in axiomatic set theory, the diamond principle ◊ is a combinatorial principle introduced by Ronald Jensen in Jensen (1972) that holds in the constructible universe (L) and that implies the continuum hypothesis. Jensen extracted the diamond principle from his proof that the axiom of constructibility (V = L) implies the existence of a Suslin tree.
== Definitions ==
The diamond principle ◊ says that there exists a ◊-sequence, a family of sets Aα ⊆ α for α < ω1 such that for any subset A of ω1 the set of α with A ∩ α = Aα is stationary in ω1.
There are severa...
specific-question To me, the tag set-theory seems like a reasonable tag for that question: Is diamond consistent with 2nd order PA? (Of course, the question whether or not the two tags created there should be kept is a separate question.)
06:47
« first day (3550 days earlier) ← previous day next day → last day (645 days later) »
Transcript for
May11
May '2312
May13
MO editors' lounge
Talk related to editing, tagging and related matters for the s...