Forcing (computability): Difference between revisions

Revision as of 08:27, 9 March 2023

Revision as of 14:26, 20 August 2023

Line 39:

== References ==

*{{Cite book

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

|last=Fitting

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

|first=Melvin

|author-link=Melvin Fitting

|year=1981

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

|publisher=North-Holland Publishing Company

|___location=Amsterdam, New York, and Oxford

|series=Studies in Logic and the Foundations of Mathematics

|pp=1078-1079

|doi=10.2307/2273928

|volume=105

}}

*{{Cite book

|last=Odifreddi

|first=Piergiorgio

|author-link=Piergiorgio Odifreddi

|year=1999

|title=Classical recursion theory. Vol. II

|publisher=North-Holland Publishing Company

|___location=Amsterdam

|series=Studies in Logic and the Foundations of Mathematics

|isbn=978-0-444-50205-6

|mr=1718169

|volume=143

}}

[[Category:Computability theory]]