A note on intuitionistic models of ZF

DOI10.1305/NDJFL/1093870220zbMATH Open0487.03028OpenAlexW2029458268MaRDI QIDQ1165239FDOQ1165239

Thierry Lucas, René 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) 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)