View Item 

Show simple item record

The “world's simplest axiom of choice” fails
dc.contributor.authorFourman, M. P.en_US
dc.contributor.authorŠčedrov, A.en_US
dc.date.accessioned2006-09-11T18:01:58Z
dc.date.available2006-09-11T18:01:58Z
dc.date.issued1982-10en_US
dc.identifier.citationFourman, M. P.; Ščedrov, A.; (1982). "The “world's simplest axiom of choice” fails." Manuscripta Mathematica 38(3): 325-332. <http://hdl.handle.net/2027.42/46645>en_US
dc.identifier.issn1432-1785en_US
dc.identifier.issn0025-2611en_US
dc.identifier.urihttps://hdl.handle.net/2027.42/46645
dc.description.abstractWe use topos-theoretic methods to show that intuitionistic set theory with countable or dependent choice does not imply that every family, all of whose elements are doubletons and which has at most one element, has a choice function.en_US
dc.format.extent294697 bytes
dc.format.extent3115 bytes
dc.format.mimetypeapplication/pdf
dc.format.mimetypetext/plain
dc.language.isoen_US
dc.publisherSpringer-Verlagen_US
dc.subject.otherMathematics, Generalen_US
dc.subject.otherTopological Groups, Lie Groupsen_US
dc.subject.otherOptimizationen_US
dc.subject.otherAlgebraic Geometryen_US
dc.subject.otherMathematicsen_US
dc.subject.otherGeometryen_US
dc.subject.otherNumber Theoryen_US
dc.subject.otherCalculus of Variations and Optimal Controlen_US
dc.titleThe “world's simplest axiom of choice” failsen_US
dc.typeArticleen_US
dc.subject.hlbsecondlevelMathematicsen_US
dc.subject.hlbtoplevelScienceen_US
dc.description.peerreviewedPeer Revieweden_US
dc.contributor.affiliationumDepartment of Mathematics, University of Michigan, 48109, Ann Arbor, MI, USAen_US
dc.contributor.affiliationotherDepartment of Mathematics, Columbia University, 10027, New York, NY, USAen_US
dc.contributor.affiliationumcampusAnn Arboren_US
dc.description.bitstreamurlhttp://deepblue.lib.umich.edu/bitstream/2027.42/46645/1/229_2005_Article_BF01170929.pdfen_US
dc.identifier.doihttp://dx.doi.org/10.1007/BF01170929en_US
dc.identifier.sourceManuscripta Mathematicaen_US
dc.owningcollnameInterdisciplinary and Peer-Reviewed


Files in this item

Name:
229_2005_Article_BF01170929.pdf
Size:
287.7KB
Format:
PDF
View/Open

Show simple item record

Remediation of Harmful Language

The University of Michigan Library aims to describe its collections in a way that respects the people and communities who create, use, and are represented in them. We encourage you to Contact Us anonymously if you encounter harmful or problematic language in catalog records or finding aids. More information about our policies and practices is available at Remediation of Harmful Language.

Accessibility

If you are unable to use this file in its current format, please select the Contact Us link and we can modify it to make it more accessible to you.