ML-1990-06: Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman

ML-1990-06: van Oosten, Jaap (1990) Extension of Lifschitz' Realizability to Higher Order Arithmetic, and a Solution to a Problem of F. Richman. [Report]

[img]
Preview
Text (Full Text)
ML-1990-06.text.pdf

Download (1MB) | Preview
Item Type: Report
Report Nr: ML-1990-06
Series Name: Mathematical Logic and Foundations (ML)
Year: 1990
Date Deposited: 12 Oct 2016 14:40
Last Modified: 12 Oct 2016 14:40
URI: https://eprints.illc.uva.nl/id/eprint/1297

Actions (login required)

View Item View Item