December 2003 Finite-to-one maps
Thomas Forster
J. Symbolic Logic 68(4): 1251-1253 (December 2003). DOI: 10.2178/jsl/1067620184

Abstract

It is shown in ZF (without choice) that if there is a finite-to-one map 𝒫(X) ↠ X, then X is finite.

Citation

Download Citation

Thomas Forster. "Finite-to-one maps." J. Symbolic Logic 68 (4) 1251 - 1253, December 2003. https://doi.org/10.2178/jsl/1067620184

Information

Published: December 2003
First available in Project Euclid: 31 October 2003

zbMATH: 1057.03035
MathSciNet: MR2017352
Digital Object Identifier: 10.2178/jsl/1067620184

Rights: Copyright © 2003 Association for Symbolic Logic

JOURNAL ARTICLE
3 PAGES

This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY

Vol.68 • No. 4 • December 2003
Back to Top