A note on intuitionistic models of ZF

DOI10.1305/NDJFL/1093870220zbMath0487.03028OpenAlexW2029458268MaRDI QIDQ1165239

Thierry Lucas, Rene Lavendhomme

Publication date: 1983

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1093870220

zbMATH Keywords

axiom of constructibilityintuitionistic ZFextensionalization process for Kripke or sheaf-structures

Mathematics Subject Classification ID

Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Intuitionistic mathematics (03F55)

Related Items (1)

Models of intuitionistic TT and NF

This page was built for publication: A note on intuitionistic models of ZF