Extension of Lifschitz' Realizability to Higher-Order Arithmetic, and a Solution to a problem of F. Richman

Research output: Contribution to journal › Article › Academic › peer-review

Cite this

@article{77c0c85240e84351b570ced3f45ab459,

title = "Extension of Lifschitz' Realizability to Higher-Order Arithmetic, and a Solution to a problem of F. Richman",

author = "{van Oosten}, Jakobus",

year = "1991",

month = may,

day = "31",

language = "English",

volume = "56",

pages = "964--973",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Association for Symbolic Logic",

number = "2",

}