Forcing (computability): Difference between revisions

Revision as of 00:48, 26 April 2021

Revision as of 08:27, 9 March 2023

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}}

| talk =

| reason = Article incomplete

| date = April 2021

| ex2 = logic

}}{{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.