Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1002/malq.19690152004
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 71,355
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Introduction to Metamathematics.Stephen Cole Kleene - 1952 - Princeton, NJ, USA: North Holland.
Degrees of Unsolvability.Gerald E. Sacks - 1963 - Princeton University Press.
General Topology.John L. Kelley - 1962 - Journal of Symbolic Logic 27 (2):235-235.

Add more references

Citations of this work BETA

Notions of Weak Genericity.Stuart A. Kurtz - 1983 - Journal of Symbolic Logic 48 (3):764-770.
Complexity of the -Query Tautologies in the Presence of a Generic Oracle.Toshio Suzuki - 2000 - Notre Dame Journal of Formal Logic 41 (2):142-151.

View all 11 citations / Add more citations

Similar books and articles

Some Applications of Forcing to Hierarchy Problems in Arithmetic.Peter G. Hinman - 1969 - Mathematical Logic Quarterly 15 (20‐22):341-352.
Forcing Indestructibility of Set-Theoretic Axioms.Bernhard König - 2007 - Journal of Symbolic Logic 72 (1):349 - 360.
Approximate Counting by Hashing in Bounded Arithmetic.Emil Jeřábek - 2009 - Journal of Symbolic Logic 74 (3):829-860.
A Variant of Mathias Forcing That Preserves {\ Mathsf {ACA} _0}.François G. Dorais - 2012 - Archive for Mathematical Logic 51 (7-8):751-780.
Poincare on Mathematics, Intuition and the Foundations of Science.Janet Folina - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:217 - 226.
An Analysis of the W -Hierarchy.Yijia Chen, Jörg Flum & Martin Grohe - 2007 - Journal of Symbolic Logic 72 (2):513 - 534.
Relating the Bounded Arithmetic and Polynomial Time Hierarchies.Samuel R. Buss - 1995 - Annals of Pure and Applied Logic 75 (1-2):67-77.
A Maximal Bounded Forcing Axiom.David Asperó - 2002 - Journal of Symbolic Logic 67 (1):130-142.
On Genericity and Ershov's Hierarchy.Amy Gale & Rod Downey - 2001 - Mathematical Logic Quarterly 47 (2):161-182.
Arithmetical Sacks Forcing.Rod Downey & Liang Yu - 2006 - Archive for Mathematical Logic 45 (6):715-720.
Multifunction Algebras and the Provability of PH↓.Chris Pollett - 2000 - Annals of Pure and Applied Logic 104 (1-3):279-303.

Analytics

Added to PP index
2016-02-04

Total views
31 ( #370,837 of 2,519,515 )

Recent downloads (6 months)
1 ( #407,153 of 2,519,515 )

How can I increase my downloads?

Downloads

My notes