On the structure of classical realizability models of ZF

DOI10.4230/LIPIcs.TYPES.2014.146zbMath1434.03054arXiv1408.1868MaRDI QIDQ5277975

Jean-Louis Krivine

Publication date: 12 July 2017

Full work available at URL: https://arxiv.org/abs/1408.1868

zbMATH Keywords

set theorylambda-calculusCurry-Howard correspondencerealizability models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Models of arithmetic and set theory (03C62) Combinatory logic and lambda calculus (03B40) Other aspects of forcing and Boolean-valued models (03E40)

Related Items (4)

Forcing revisited ⋮ Classical realizability and arithmetical formulæ ⋮ Preserving cardinals and weak forms of Zorn’s lemma in realizability models ⋮ Unnamed Item

This page was built for publication: On the structure of classical realizability models of ZF