Abstract
This note is a continuation of our former paper ''Complexity of the r-query tautologies in the presence of a generic oracle.'' We give a very short direct proof of the nonexistence of t-generic oracles, a result obtained first by Dowd. We also reconstitute a proof of Dowd's result that the class of all r-generic oracles in his sense has Lebesgue measure one.
Citation
Toshio Suzuki. "Forcing Complexity: Minimum Sizes of Forcing Conditions." Notre Dame J. Formal Logic 42 (2) 117 - 120, 2001. https://doi.org/10.1305/ndjfl/1054837938
Information