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		Revision as of 04:19, 7 January 2024 edit undo JohnAdams1800 (talk \| contribs) Extended confirmed users 15,601 edits I fixed the missing information, but this article still may need more work. Next edit →
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.

Forcing (computability): Difference between revisions