scientific article; zbMATH DE number 5722458

MaRDI QIDQ3567774zbMATH OpenFDO

Authors V. Kh. Khakhanyan

Publication date 17 June 2010

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Intuitionistic mathematics (03F55)

Recommendations

• Models of intuitionistic set theory in subtoposes of nested realizability toposes
• Extensional realizability for intuitionistic set theory
• Realisability for infinitary intuitionistic set theory
• Generalizing realizability and Heyting models for constructive set theory
• Universal models and definability
• Complexity of reals in inner models of set theory
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• On the quantificational logic of intuitionistic set theory
• Term models for weak set theories with a universal set
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3567774)