The LargeCardinalHierarchy package

[ Tags: library, math, mathematics, maths, set-theory ] [ Propose Tags ]

[Skip to Readme]

Properties

Versions 0.0.0, 0.0.1
Dependencies base (>=2 && <4) [details]
License OtherLicense
Copyright Copyright (c) 2010 Stephen E. A. Britton
Author Stephen E. A. Britton
Maintainer Stephen E. A. Britton
Category Math, Maths, Mathematics, Set Theory
Uploaded Sun Sep 7 19:14:56 UTC 2014 by Stephen_E_A_Britton
Distributions NixOS:0.0.1
Downloads 568 total (6 in the last 30 days)
Rating 0.0 (0 ratings) [clear rating]
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-10-25 [all 9 reports]
Hackage Matrix CI

Modules

  • LargeCardinalHierarchy

Downloads

Maintainer's Corner

For package maintainers and hackage trustees


Readme for LargeCardinalHierarchy-0.0.1

[back to package description]
Copyright (c) 2010 Stephen E. A. Britton.
All rights reserved.

The LargeCardinalHierarchy module defines a recursively enumerable, countably infinite subclass of the logically (consistent) maximal transfinite set-theoretic universe ZFC+Con(LargeCardinals) (Zermelo-Frankel Set Theory + Axiom of Choice + All known large cardinals consistent with ZFC) via data constructors for each large cardinal within the hierarchy and functions over them. The algebraic data type Card is a Haskell implementation of the set theoretic proper class of all cardinals, Card. Card has value constructors for a countably infinite (aleph-null sized) subset of every cardinal type of all known large cardinals consistent with ZFC (Zermelo-Frankel Set Theory + Axiom of Choice) or, equivalently, ZF+GCH (Zermelo-Frankel Set Theory + Generalized Continuum Hypothesis).