Realizability and recursive set theory
type: Item
instance of: scholarly article
title: Realizability and recursive set theory
zbMATH Open document ID: 0631.03035
DOI: 10.1016/0168-0072(86)90050-3
author: Charles McCarty
published in: Annals of Pure and Applied Logic
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 03D50
zbMATH DE Number: 4025430
zbMATH Keywords: recursive equivalence types
zbMATH Keywords: isols
zbMATH Keywords: Kleene realizability
zbMATH Keywords: recursive set theory
zbMATH Keywords: constructive cardinals
MaRDI profile type: Publication
full work available at URL: 0168-0072(86)90050-3
OpenAlex ID: W2091208636
cites work: Q3866108
cites work: Q5573965
cites work: Q3005437
cites work: Q5661491
cites work: Q4128540
cites work: Q3214890
cites work: Q3671978
cites work: On the interpretation of intuitionistic number theory
cites work: Q3214888
cites work: Intuitionism: An introduction to a seminar
cites work: Some Counterexamples in the Theory of Regressive Sets
cites work: Q5633977
description: scientific article; zbMATH DE number 4025430