Mechanizing set theory. Cardinal arithmetic and the axiom of choice

DOI10.1007/BF00283132zbMath0868.03005OpenAlexW2073127449WikidataQ114018501 ScholiaQ114018501MaRDI QIDQ5961491

Could not fetch data.

Publication date: 3 August 1997

Published in: (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00283132

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.