DOI10.2307/2272745zbMath0258.02058MaRDI QIDQ5672627
Andreas Blass
Publication date: 1972 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://doi.org/10.2307/2272745
Mathematics Subject Classification ID
03E35: Consistency and independence results
03B99: General logic
Cites Work