Forcing (recursion theory)
WiktionaryText
Noun
- The art of raising plants at an earlier season than is normal, especially by using a hotbed
- An extension in the development time of an underexposed negative in order to bring out detail
- A technique used to prove the consistency of certain axioms in set theory