Forcing (computability): Difference between revisions

Content deleted Content added
I fixed the missing information, but this article still may need more work.
Removed {{Expert needed}} tag: not a valid reason to request an expert
 
(One intermediate revision by one other user not shown)
Line 1:
{{Expert needed|mathematics |ex2= logic |reason= Article incomplete |date = April 2021}}
 
'''Forcing''' in [[computability theory]] is a modification of [[Paul Cohen (mathematician)|Paul Cohen's]] original [[set theory|set-theoretic]] technique of [[forcing (set theory)|forcing]] to deal with computability concerns.
Line 53 ⟶ 52:
|___location=Amsterdam, New York, and Oxford
|series=Studies in Logic and the Foundations of Mathematics
|pages=1078–1079
|pp=1078-1079
|doi=10.2307/2273928
|volume=105
|jstor=2273928
|s2cid=118376273
}}
*{{Cite book