Generalizing realizability and Heyting models for constructive set theory

DOI10.1016/J.APAL.2011.06.025zbMath1267.03055OpenAlexW2032794985MaRDI QIDQ651324

Albert Ziegler

Publication date: 12 December 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2011.06.025

zbMATH Keywords

realizabilityconstructive set theoryformal topologyCZFapplicative topologyHeyting models

Mathematics Subject Classification ID

Consistency and independence results (03E35) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Relative consistency and interpretations (03F25)

Related Items (1)

A cumulative hierarchy of sets for constructive set theory

Cites Work

• Constructivism in mathematics. An introduction. Volume I
• Heyting-valued interpretations for constructive set theory
• Relativized realizability in intuitionistic arithmetic of all finite types
• Ordered partial combinatory algebras
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Generalizing realizability and Heyting models for constructive set theory