Non-absoluteness of Hjorth's cardinal characterization

摘要

In J. Math. Log. 2 (2002), 113-144, Hjorth proved that for every countable ordinal alpha, there exists a complete L omega 1,omega-sentence phi alpha that has models of all cardinalities less than or equal to aleph alpha, but no models of cardinality aleph alpha+1. Unfortunately, his solution does not yield a single L omega 1,omega-sentence phi alpha, but a set of L omega 1,omega-sentences, one of which is guaranteed to work. It was conjectured in Notre Dame J. Formal Logic 55 (2014), 533-551 that it is independent of the axioms of ZFC which of these sentences has the desired property. In the present paper, we prove that this conjecture is true. More specifically, we isolate a diagonalization principle for functions from ca1 to ca1 which is a consequence of the Bounded Proper Forcing Axiom (BPFA) and then we use this principle to prove that Hjorth's solution to characterizing aleph 2 in models of BPFA is different than in models of CH. In addition, we show that large cardinals are not needed to obtain this independence result by proving that our diagonalization principle can be forced over models of CH.