Skip to main content

-definability at uncountable regular cardinals

  • Philipp Lücke (a1)

Let κ be an infinite cardinal. A subset of ( κ κ) n is a -subset if it is the projection p[T] of all cofinal branches through a subtree T of (>κ κ) n+1 of height κ. We define and -subsets of ( κ κ) n as usual.

Given an uncountable regular cardinal κ with κ = κ <κ and an arbitrary subset A of κ κ, we show that there is a <κ-closed forcing ℙ that satisfies the κ +-chain condition and forces A to be a -subset of κ κ in every ℙ-generic extension of V. We give some applications of this result and the methods used in its proof.

(i) Given any set x, we produce a partial order with the above properties that forces x to be an element of L .

(ii) We show that there is a partial order with the above properties forcing the existence of a well-ordering of κ κ whose graph is a -subset of κ κ × κ κ.

(iii) We provide a short proof of a result due to Mekler and Väänänen by using the above forcing to add a tree T of cardinality and height κ such that T has no cofinal branches and every tree from the ground model of cardinality and height κ without a cofinal branch quasi-order embeds into T.

(iv) We will show that generic absoluteness for -formulae (i.e., formulae with parameters which define -subsets of κ κ) under <κ-closed forcings that satisfy the κ +-chain condition is inconsistent.

In another direction, we use methods from the proofs of the above results to show that - and -subsets have some useful structural properties in certain ZFC-models.

Recommend this journal

Email your librarian or administrator to recommend adding this journal to your organisation's collection.

The Journal of Symbolic Logic
  • ISSN: 0022-4812
  • EISSN: 1943-5886
  • URL: /core/journals/journal-of-symbolic-logic
Please enter your name
Please enter a valid email address
Who would you like to send this to? *


Full text views

Total number of HTML views: 0
Total number of PDF views: 19 *
Loading metrics...

Abstract views

Total abstract views: 152 *
Loading metrics...

* Views captured on Cambridge Core between September 2016 - 20th August 2018. This data will be updated every 24 hours.