Advanced Search
Home > Journals > J. Symbolic Logic > Volume 68 > Issue 4 > Article
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

ACCESS THE FULL ARTICLE
PERSONAL SIGN IN
Full access may be available with your subscription
 
Forgot your password?
No Project Euclid account? Create an account
or Sign in with your institutional credentials
PURCHASE THIS CONTENT
PURCHASE SINGLE ARTICLE
This article is only available to subscribers.
It is not available for individual sale.
JOURNAL ARTICLE
 3 PAGES
This article is only available to subscribers.
It is not available for individual sale.
+ SAVE TO MY LIBRARY
GET CITATION
< Previous Article
|
Next Article >
Vol.68 • No. 4 • December 2003
Association for Symbolic Logic
Subscribe to Project Euclid
Receive erratum alerts for this article
Back to Top