Forcing (computability): Difference between revisions

Content deleted Content added

Revision as of 04:16, 7 January 2024 edit JohnAdams1800 (talk \| contribs) Extended confirmed users 15,601 edits Added information on the forcing relation as an expert. ← Previous edit		Latest revision as of 03:06, 4 June 2025 edit undo Psychastes (talk \| contribs) Extended confirmed users 18,540 edits Removed {{Expert needed}} tag: not a valid reason to request an expert Tag: Twinkle
(2 intermediate revisions by 2 users not shown)
Line 1: ~~{{Expert needed\|mathematics \|ex2= logic \|reason= Article incomplete \|date = April 2021}}~~ ~~{{Missing information\|article\|the forcing relation <math>\Vdash</math>\|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 54 ⟶ 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