DOI10.2178/jsl/1058448446zbMath1055.03029MaRDI QIDQ4650262
T. E. Forster, John K. Truss
Publication date: 9 February 2005 Published in: Journal of Symbolic Logic (Search for Journal in Brave) Full work available at URL: https://projecteuclid.org/euclid.jsl/1058448446
zbMATH Keywords
well-foundedness; well-orderable sets; Fraenkel-Mostowski model
Mathematics Subject Classification ID
03E10: Ordinal and cardinal numbers
03E25: Axiom of choice and related propositions
Cites Work