ZF ⊦ Σ40 determinateness
From MaRDI portal
Publication:5680127
DOI10.2307/2272410zbMath0264.02053MaRDI QIDQ5680127
Publication date: 1973
Published in: Journal of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.2307/2272410
Related Items
Cites Work