A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2008; you can also visit the original URL.
The file type is application/pdf
.
A very weak square principle
1997
Journal of Symbolic Logic (JSL)
In this paper we explicate a very weak version of the principle □ discovered by Jensen who proved it holds in the constructible universe L. This principle is strong enough to include many of the known applications of □, but weak enough that it is consistent with the existence of very large cardinals. In this section we show that this principle is equivalent to a common combinatorial device, which we call a Jensen matrix. In the second section we show that our principle is consistent with a
doi:10.2307/2275738
fatcat:szasnnvmj5cd7aigaszj46pn5a