A note on intuitionistic models of ZF
type: Item
instance of: scholarly article
title: A note on intuitionistic models of ZF
zbMATH Open document ID: 0487.03028
published in: Notre Dame Journal of Formal Logic
publication date: 1983-01-01T00:00:00Z
Mathematics Subject Classification ID: 03E35
Mathematics Subject Classification ID: 03E45
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 3765774
zbMATH Keywords: extensionalization process for Kripke or sheaf-structures
zbMATH Keywords: intuitionistic ZF
zbMATH Keywords: axiom of constructibility
author: René Lavendhomme
author: Thierry Lucas
MaRDI profile type: MaRDI publication profile
full work available at URL: https://doi.org/10.1305/ndjfl/1093870220
OpenAlex ID: W2029458268
DOI: 10.1305/NDJFL/1093870220
description: scientific article; zbMATH DE number 3765774