Forcing (computability): Difference between revisions

Revision as of 15:55, 16 March 2008

Revision as of 19:34, 21 February 2010

Line 1:

{{references|date=January 2008}}

{{merge|Forcing (set theory)|date=March 2008}}

Line 33 ⟶ 32:

The idea is that our language should express facts about the object we wish to build with our forcing construction.

== References ==

{{mathlogic-stub}}

* Melvin Fitting (1981), ''Fundamentals of generalized recursion theory''.

* Piergiorgio Odifreddi (1999), ''Classical Recursion Theory'', v. 2.

[[Category:Recursion theory]]