Metadata
Author: WikiMatrix
Data
English[en]
Forcing was considerably reworked and simplified in the 1960s, and has proven to be an extremely powerful technique both within set theory and in areas of mathematical logic such as recursion theory.
Portuguese[pt]
O forçamento foi consideravelmente reelaborado e simplificado na década de 1960, e tem se mostrado ser uma técnica extremamente poderosa tanto em teoria dos conjuntos quando em outras áreas de lógica matemática, tais como teoria da recursão.