Replacement and collection: a correction
type: Item
instance of: scholarly article
title: Replacement and collection: a correction
zbMATH Open document ID: 0618.03026
DOI: 10.2307/2274056
author: Nicolas D. Goodman
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 03E70
Mathematics Subject Classification ID: 03F55
zbMATH DE Number: 4002087
zbMATH Keywords: intuitionistic set theory
zbMATH Keywords: proof-theoretical equivalence
zbMATH Keywords: ZF
zbMATH Keywords: ZFI
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.2307/2274056
OpenAlex ID: W4237076774
published in: Journal of Symbolic Logic
description: scientific article