Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Forcing_(recursion_theory)> ?p ?o. }
Showing items 1 to 12 of
12
with 100 items per page.
- Forcing_(recursion_theory) abstract "Forcing in recursion theory is a modification of Paul Cohen's original set theoretic technique of forcing to deal with the effective concerns in recursion theory. Conceptually the two techniques are quite similar, in both one attempts to build generic objects (intuitively objects that are somehow 'typical') by meeting dense sets. Also both techniques are elegantly described as a relation (customarily denoted ) between 'conditions' and sentences. However, where set theoretic forcing is usually interested in creating objects that meet every dense set of conditions in the ground model, recursion theoretic forcing only aims to meet dense sets that are arithmetically or hyperarithmetically definable. Therefore some of the more difficult machinery used in set theoretic forcing can be eliminated or substantially simplified when defining forcing in recursion theory. But while the machinery may be somewhat different recursion theoretic and set theoretic forcing are properly regarded as an application of the same technique to different classes of formulas.".
- Forcing_(recursion_theory) wikiPageID "13012903".
- Forcing_(recursion_theory) wikiPageRevisionID "501363737".
- Forcing_(recursion_theory) hasPhotoCollection Forcing_(recursion_theory).
- Forcing_(recursion_theory) subject Category:Computability_theory.
- Forcing_(recursion_theory) comment "Forcing in recursion theory is a modification of Paul Cohen's original set theoretic technique of forcing to deal with the effective concerns in recursion theory. Conceptually the two techniques are quite similar, in both one attempts to build generic objects (intuitively objects that are somehow 'typical') by meeting dense sets. Also both techniques are elegantly described as a relation (customarily denoted ) between 'conditions' and sentences.".
- Forcing_(recursion_theory) label "Forcing (recursion theory)".
- Forcing_(recursion_theory) sameAs m.02z39z2.
- Forcing_(recursion_theory) sameAs Q5467584.
- Forcing_(recursion_theory) sameAs Q5467584.
- Forcing_(recursion_theory) wasDerivedFrom Forcing_(recursion_theory)?oldid=501363737.
- Forcing_(recursion_theory) isPrimaryTopicOf Forcing_(recursion_theory).