Realizability and Existence Property of a Constructive Set Theory with Types

DOI10.1142/9789814678001_0009zbMath1432.03130OpenAlexW2482455963MaRDI QIDQ2989969

Farida Kachapova

Publication date: 9 June 2017

Published in: Proceedings of the 13th Asian Logic Conference (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/9789814678001_0009

zbMATH Keywords

constructive mathematicsrealizabilitytype theoryexistence propertypredicativeintuitionistic

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Type theory (03B38)

Related Items (1)

Metamathematical properties of a constructive multi-typed theory

This page was built for publication: Realizability and Existence Property of a Constructive Set Theory with Types