Switch to: Citations

References in:

Complexity of the -query Tautologies in the Presence of a Generic Oracle

Toshio Suzuki

Notre Dame Journal of Formal Logic 41 (2):142-151 (2000)

Add references

You must login to add references.

(3 other versions)The independence of the continuum hypothesis.Paul Cohen - 1963 - Proc. Nat. Acad. Sci. USA 50 (6):1143-1148.details Download Export citation Bookmark 55 citations
(3 other versions)The Independence of the Continuum Hypothesis II.Paul Cohen - 1964 - Proc. Nat. Acad. Sci. USA 51 (1):105-110.details Download Export citation Bookmark 29 citations
(1 other version)[Omnibus Review].Kenneth Kunen - 1969 - Journal of Symbolic Logic 34 (3):515-516.details Download Export citation Bookmark 70 citations
(3 other versions)The Independence of the Continuum Hypothesis.Paul J. Cohen - 1965 - Journal of Symbolic Logic 30 (3):398-399.details Download Export citation Bookmark 14 citations
Some applications of forcing to hierarchy problems in arithmetic.Peter G. Hinman - 1969 - Mathematical Logic Quarterly 15 (20-22):341-352.details Download Export citation Bookmark 14 citations
(1 other version)L = N l?Bruno Poizat - 1986 - Journal of Symbolic Logic 51 (1):22-32.details Download Export citation Bookmark 2 citations
Forcing and reducibilities.Piergiorgio Odifreddi - 1983 - Journal of Symbolic Logic 48 (2):288-310.details Download Export citation Bookmark 4 citations

1