A note on intuitionistic models of ZF

DOI10.1305/NDJFL/1093870220MaRDI QIDQ1165239zbMATH OpenOpenAlexFDO

Authors René Lavendhomme, Thierry Lucas

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) Intuitionistic mathematics (03F55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Cited in

(1)

• Models of intuitionistic TT and NF

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

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