<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><meta http-equiv="Content-Type" content="text/html; charset=UTF-8" /><title>LargeCardinalHierarchy</title><link href="xhaddock.css" rel="stylesheet" type="text/css" title="Classic" /><script src="haddock-util.js" type="text/javascript"></script><script type="text/javascript">//<![CDATA[
window.onload = function () {pageLoad();setSynopsis("mini_LargeCardinalHierarchy.html");};
//]]>
</script></head><body><div id="package-header"><ul class="links" id="page-menu"><li><a href="LargeCardinalHierarchy.hs">Source</a></li><li><a href="index.html">Contents</a></li><li><a href="doc-index.html">Index</a></li></ul><p class="caption empty"> </p></div><div id="content"><div id="module-header"><table class="info"><tr><th>Portability</th><td>OS independent</td></tr><tr><th>Stability</th><td>unstable</td></tr><tr><th>Maintainer</th><td>Stephen E.A. Britton (sbritton (at) cbu (dot) edu)</td></tr><tr><th>Safe Haskell</th><td>Safe-Infered</td></tr></table><p class="caption">LargeCardinalHierarchy</p></div><div id="description"><p class="caption">Description</p><div class="doc"><p>The <em>LargeCardinalHierarchy</em> 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 <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> is a Haskell implementation
of the set theoretic proper class of all cardinals, <em>Card</em>.
<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> 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).
</p></div></div><div id="synopsis"><p id="control.syn" class="caption expander" onclick="toggleSection('syn')">Synopsis</p><ul id="section.syn" class="hide" onclick="toggleSection('syn')"><li class="src short"><span class="keyword">data</span> <a href="#t:Card">Card</a> <ul class="subs"><li>= <a href="#v:Card">Card</a> Integer </li><li>| <a href="#v:Aleph">Aleph</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:WeaklyInaccessible">WeaklyInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:StronglyInaccessible">StronglyInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:AlphaInaccessible">AlphaInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:HyperInaccessible">HyperInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Hyper2Inaccessible">Hyper2Inaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:WeaklyMahlo">WeaklyMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:StronglyMahlo">StronglyMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:AlphaMahlo">AlphaMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:HyperMahlo">HyperMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Reflecting">Reflecting</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:PiIndescribable">PiIndescribable</a> (Int, Int) <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:TotallyIndescribable">TotallyIndescribable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NuIndescribable">NuIndescribable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:LambdaUnfoldable">LambdaUnfoldable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Unfoldable">Unfoldable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:LambdaShrewd">LambdaShrewd</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Shrewd">Shrewd</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Ethereal">Ethereal</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Subtle">Subtle</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:AlmostIneffable">AlmostIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Ineffable">Ineffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NIneffable">NIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:TotallyIneffable">TotallyIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Remarkable">Remarkable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:AlphaErdos">AlphaErdos</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:GammaErdos">GammaErdos</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:AlmostRamsey">AlmostRamsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Jonsson">Jonsson</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Rowbottom">Rowbottom</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Ramsey">Ramsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:IneffablyRamsey">IneffablyRamsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Measurable">Measurable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:ZeroDagger">ZeroDagger</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:LambdaStrong">LambdaStrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Strong">Strong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Woodin">Woodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:WeaklyHyperWoodin">WeaklyHyperWoodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Shelah">Shelah</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:HyperWoodin">HyperWoodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Superstrong">Superstrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Subcompact">Subcompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:StronglyCompact">StronglyCompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Supercompact">Supercompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:EtaExtendible">EtaExtendible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Extendible">Extendible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Vopenka">Vopenka</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NSuperstrong">NSuperstrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NAlmostHuge">NAlmostHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NSuperAlmostHuge">NSuperAlmostHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NHuge">NHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:NSuperHuge">NSuperHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:RankIntoRank">RankIntoRank</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:Reinhardt">Reinhardt</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> </li><li>| <a href="#v:TAV">TAV</a> </li><li>| <a href="#v:AbsoluteInfinity">AbsoluteInfinity</a> </li></ul></li><li class="src short"><a href="#v:apply">apply</a> :: (t -> t1) -> [t] -> [t1]</li><li class="src short"><a href="#v:zero">zero</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:one">one</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:absolute">absolute</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:zeros">zeros</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ones">ones</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alefz">alefz</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:tavs">tavs</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:absolutes">absolutes</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:absoluteInfinities">absoluteInfinities</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:-35-">(#)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:-35-.">(#.)</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>] -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:-42-.">(*.)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:x">x</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>] -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:-94-.">(^.)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:cp">cp</a> :: [a] -> [b] -> [(a, b)]</li><li class="src short"><a href="#v:cartesianProduct">cartesianProduct</a> :: [a] -> [b] -> [(a, b)]</li><li class="src short"><a href="#v:powerList">powerList</a> :: [a] -> [[a]]</li><li class="src short"><a href="#v:ascend">ascend</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:descend">descend</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:level">level</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ascent">ascent</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:descent">descent</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:c">c</a> :: Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:alef">alef</a> :: Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:aleph">aleph</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:beth">beth</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:wInac">wInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:weaklyInaccessible">weaklyInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:sInac">sInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:stronglyInaccessible">stronglyInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:theta">theta</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:aInac">aInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:alphaInaccessible">alphaInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hInac">hInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hyperInaccessible">hyperInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nu">nu</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:h2Inac">h2Inac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hyper2Inaccessible">hyper2Inaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:mu">mu</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:wMahlo">wMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:weaklyMahlo">weaklyMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:sMahlo">sMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:stronglyMahlo">stronglyMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:rho">rho</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:aMahlo">aMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:alphaMahlo">alphaMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hMahlo">hMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hyperMahlo">hyperMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:reflect">reflect</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:reflecting">reflecting</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:pii">pii</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:piIndesc">piIndesc</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:piIndescribable">piIndescribable</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ti">ti</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:totalIndesc">totalIndesc</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:totallyIndescribable">totallyIndescribable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ni">ni</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nuIndesc">nuIndesc</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nuIndescribable">nuIndescribable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:lambdaUnfold">lambdaUnfold</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:lambdaUnfoldable">lambdaUnfoldable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:unfold">unfold</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:unfoldable">unfoldable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:lambdaShrewd">lambdaShrewd</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:shrewd">shrewd</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ether">ether</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ethereal">ethereal</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:subtle">subtle</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:almostIneff">almostIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:almostIneffable">almostIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ineff">ineff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ineffable">ineffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nIneff">nIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nIneffable">nIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:totalIneff">totalIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:totallyIneffable">totallyIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:remark">remark</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:remarkable">remarkable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:aErdos">aErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:alphaErdos">alphaErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:gamma">gamma</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:gErdos">gErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:gammaErdos">gammaErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:aRamsey">aRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:almostRamsey">almostRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:jonsson">jonsson</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:rowbottom">rowbottom</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ramsey">ramsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:iRamsey">iRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ineffablyRamsey">ineffablyRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:measure">measure</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:measurable">measurable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:kappa">kappa</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:zeroDag">zeroDag</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:zeroDagger">zeroDagger</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:lambdaStrong">lambdaStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:strong">strong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:woodin">woodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:whWoodin">whWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:weaklyHyperWoodin">weaklyHyperWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:shelah">shelah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hWoodin">hWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:hyperWoodin">hyperWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ss">ss</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:supStrong">supStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:superstrong">superstrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:superStrong">superStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:subcompact">subcompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:stronglyCompact">stronglyCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:supCompact">supCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:superCompact">superCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:eta">eta</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:etaExtend">etaExtend</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:etaExtendible">etaExtendible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:ex">ex</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:extend">extend</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:extendible">extendible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:vopenka">vopenka</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nss">nss</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nSuperstrong">nSuperstrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nah">nah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nAlmostHuge">nAlmostHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nsah">nsah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nSuperAlmostHuge">nSuperAlmostHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nh">nh</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nHuge">nHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nsh">nsh</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:nSuperHuge">nSuperHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:rank">rank</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:lambda">lambda</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:rankIntoRank">rankIntoRank</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:reinhardt">reinhardt</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></li><li class="src short"><a href="#v:order">order</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:zeroOrder">zeroOrder</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:orderClass">orderClass</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:club">club</a> :: (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:fixedpoints">fixedpoints</a> :: Integer -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:higherOrder">higherOrder</a> :: Integer -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:fromTo">fromTo</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alephs">alephs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alefs">alefs</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:wInacs">wInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyInaccessibles">weaklyInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:wInacz">wInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyInaccessiblez">weaklyInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:sInacs">sInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglyInaccessibles">stronglyInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:sInacz">sInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglyInaccessiblez">stronglyInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aInacs">aInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaInaccessibles">alphaInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aInacz">aInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaInaccessiblez">alphaInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hInacs">hInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperInaccessibles">hyperInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hInacz">hInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperInaccessiblez">hyperInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:h2Inacs">h2Inacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyper2Inaccessibles">hyper2Inaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:h2Inacz">h2Inacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyper2Inaccessiblez">hyper2Inaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:wMahlos">wMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyMahlos">weaklyMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:wMahloz">wMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyMahloz">weaklyMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:sMahlos">sMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglyMahlos">stronglyMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:sMahloz">sMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglyMahloz">stronglyMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aMahlos">aMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaMahlos">alphaMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aMahloz">aMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaMahloz">alphaMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hMahlos">hMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperMahlos">hyperMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hMahloz">hMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperMahloz">hyperMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:reflections">reflections</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:reflexions">reflexions</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:piis">piis</a> :: Int -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:piIndescribables">piIndescribables</a> :: Int -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:piiz">piiz</a> :: Int -> Int -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:piIndescribablez">piIndescribablez</a> :: Int -> Int -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:tis">tis</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totallyIndescribables">totallyIndescribables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:tiz">tiz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totallyIndescribablez">totallyIndescribablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nis">nis</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nuIndescribables">nuIndescribables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:niz">niz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nuIndescribablez">nuIndescribablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaUnfolds">lambdaUnfolds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaUnfoldables">lambdaUnfoldables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaUnfoldz">lambdaUnfoldz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaUnfoldablez">lambdaUnfoldablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:unfolds">unfolds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:unfoldables">unfoldables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:unfoldz">unfoldz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:unfoldablez">unfoldablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaShrewds">lambdaShrewds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaShrewdz">lambdaShrewdz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:shrewds">shrewds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:shrewdz">shrewdz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ethers">ethers</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ethereals">ethereals</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etherz">etherz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etherealz">etherealz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:subtles">subtles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:subtlez">subtlez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostIneffs">almostIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostIneffables">almostIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostIneffz">almostIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostIneffablez">almostIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffs">ineffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffables">ineffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffz">ineffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffablez">ineffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nIneffs">nIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nIneffables">nIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nIneffz">nIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nIneffablez">nIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totalIneffs">totalIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totallyIneffables">totallyIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totalIneffz">totalIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:totallyIneffablez">totallyIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:remarkables">remarkables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:remarkablez">remarkablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aErdoss">aErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaErdoss">alphaErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aErdosz">aErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:alphaErdosz">alphaErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:gErdoss">gErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:gammaErdoss">gammaErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:gErdosz">gErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:gammaErdosz">gammaErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aRamseys">aRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostRamseys">almostRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:aRamseyz">aRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:almostRamseyz">almostRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:jonssons">jonssons</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:jonssonz">jonssonz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:rowbottoms">rowbottoms</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:rowbottomz">rowbottomz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ramseys">ramseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ramseyz">ramseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:iRamseys">iRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffablyRamseys">ineffablyRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:iRamseyz">iRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ineffablyRamseyz">ineffablyRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:measures">measures</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:measurables">measurables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:measurez">measurez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:measurablez">measurablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:zeroDags">zeroDags</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:zeroDaggers">zeroDaggers</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:zeroDagz">zeroDagz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:zeroDaggerz">zeroDaggerz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaStrongs">lambdaStrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:lambdaStrongz">lambdaStrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:strongs">strongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:strongz">strongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:woodins">woodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:woodinz">woodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:whWoodins">whWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyHyperWoodins">weaklyHyperWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:whWoodinz">whWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:weaklyHyperWoodinz">weaklyHyperWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:shelahs">shelahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:shelahz">shelahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hWoodins">hWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperWoodins">hyperWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hWoodinz">hWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:hyperWoodinz">hyperWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:sss">sss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:superstrongs">superstrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ssz">ssz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:superstrongz">superstrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:scs">scs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:subcompacts">subcompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:scz">scz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:subcompactz">subcompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglycompacts">stronglycompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:stronglycompactz">stronglycompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:supercompacts">supercompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:supercompactz">supercompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etas">etas</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etaExtendibles">etaExtendibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etaz">etaz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:etaExtendiblez">etaExtendiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:extends">extends</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:extendibles">extendibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:extendz">extendz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:extendiblez">extendiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:vopenkas">vopenkas</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:vopenkaz">vopenkaz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nsss">nsss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperstrongs">nSuperstrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nssz">nssz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperstrongz">nSuperstrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nahs">nahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nAlmostHuges">nAlmostHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nahz">nahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nAlmostHugez">nAlmostHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nsahs">nsahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperAlmostHuges">nSuperAlmostHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nsahz">nsahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperAlmostHugez">nSuperAlmostHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nHuges">nHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nHugez">nHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nshs">nshs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperHuges">nSuperHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nshz">nshz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:nSuperHugez">nSuperHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:ranks">ranks</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:rankIntoRanks">rankIntoRanks</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:rankz">rankz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:rankIntoRankz">rankIntoRankz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:reinhardts">reinhardts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li><li class="src short"><a href="#v:reinhardtz">reinhardtz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]</li></ul></div><div id="interface"><h1>Documentation</h1><div class="top"><p class="src"><span class="keyword">data</span> <a name="t:Card" class="def">Card</a> <a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="subs constructors"><p class="caption">Constructors</p><table><tr><td class="src"><a name="v:Card" class="def">Card</a> Integer</td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Aleph" class="def">Aleph</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WeaklyInaccessible" class="def">WeaklyInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StronglyInaccessible" class="def">StronglyInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlphaInaccessible" class="def">AlphaInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HyperInaccessible" class="def">HyperInaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Hyper2Inaccessible" class="def">Hyper2Inaccessible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WeaklyMahlo" class="def">WeaklyMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StronglyMahlo" class="def">StronglyMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlphaMahlo" class="def">AlphaMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HyperMahlo" class="def">HyperMahlo</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Reflecting" class="def">Reflecting</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:PiIndescribable" class="def">PiIndescribable</a> (Int, Int) <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TotallyIndescribable" class="def">TotallyIndescribable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NuIndescribable" class="def">NuIndescribable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LambdaUnfoldable" class="def">LambdaUnfoldable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Unfoldable" class="def">Unfoldable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LambdaShrewd" class="def">LambdaShrewd</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Shrewd" class="def">Shrewd</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Ethereal" class="def">Ethereal</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Subtle" class="def">Subtle</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlmostIneffable" class="def">AlmostIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Ineffable" class="def">Ineffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NIneffable" class="def">NIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TotallyIneffable" class="def">TotallyIneffable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Remarkable" class="def">Remarkable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlphaErdos" class="def">AlphaErdos</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:GammaErdos" class="def">GammaErdos</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AlmostRamsey" class="def">AlmostRamsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Jonsson" class="def">Jonsson</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Rowbottom" class="def">Rowbottom</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Ramsey" class="def">Ramsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:IneffablyRamsey" class="def">IneffablyRamsey</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Measurable" class="def">Measurable</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:ZeroDagger" class="def">ZeroDagger</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:LambdaStrong" class="def">LambdaStrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Strong" class="def">Strong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Woodin" class="def">Woodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:WeaklyHyperWoodin" class="def">WeaklyHyperWoodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Shelah" class="def">Shelah</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:HyperWoodin" class="def">HyperWoodin</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Superstrong" class="def">Superstrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Subcompact" class="def">Subcompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:StronglyCompact" class="def">StronglyCompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Supercompact" class="def">Supercompact</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:EtaExtendible" class="def">EtaExtendible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Extendible" class="def">Extendible</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Vopenka" class="def">Vopenka</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NSuperstrong" class="def">NSuperstrong</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NAlmostHuge" class="def">NAlmostHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NSuperAlmostHuge" class="def">NSuperAlmostHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NHuge" class="def">NHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:NSuperHuge" class="def">NSuperHuge</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:RankIntoRank" class="def">RankIntoRank</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:Reinhardt" class="def">Reinhardt</a> <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:TAV" class="def">TAV</a></td><td class="doc empty"> </td></tr><tr><td class="src"><a name="v:AbsoluteInfinity" class="def">AbsoluteInfinity</a></td><td class="doc empty"> </td></tr></table></div><div class="subs instances"><p id="control.i:Card" class="caption collapser" onclick="toggleSection('i:Card')">Instances</p><div id="section.i:Card" class="show"><table><tr><td class="src">Eq <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src">Ord <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr><tr><td class="src">Show <a href="LargeCardinalHierarchy.html#t:Card">Card</a></td><td class="doc empty"> </td></tr></table></div></div></div><div class="top"><p class="src"><a name="v:apply" class="def">apply</a> :: (t -> t1) -> [t] -> [t1]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:apply">apply</a></code> is a binary higher-order function
that takes a function <em>f</em> and a list of type <em>x</em> values, [x],
and returns a new list of values derived from the application of <em>f</em> to
each of the <em>x</em> values within [x].
</p></div></div><div class="top"><p class="src"><a name="v:zero" class="def">zero</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:zero">zero</a></code> is <em>the</em> unique nullary function within the
<em>LargeCardinalHierarchy</em> module that returns the additive identity element
(and multiplicative absorbing element within the class of all cardinals),
cardinal 0, via the <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> constructor.
</p></div></div><div class="top"><p class="src"><a name="v:one" class="def">one</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:one">one</a></code> is <em>the</em> unique nullary function within the
<em>LargeCardinalHierarchy</em> module that returns the multiplicative identity element
within the class of all cardinals, cardinal 1, via the <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> constructor.
</p></div></div><div class="top"><p class="src"><a name="v:absolute" class="def">absolute</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:absolute">absolute</a></code> is a <em>type synonym</em> (nullary function) for <em>AbsoluteInfinity</em>; the
supremum of the class of all cardinals, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:zeros" class="def">zeros</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:zeros">zeros</a></code> is a nullary function that returns a countably-infinite (aleph-null sized)
sequence (a <em>stream</em>) of cardinal zeros.
</p></div></div><div class="top"><p class="src"><a name="v:ones" class="def">ones</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:ones">ones</a></code> is a nullary function that returns a countably-infinite (aleph-null sized)
sequence (a <em>stream</em>) of cardinal ones.
</p></div></div><div class="top"><p class="src"><a name="v:alefz" class="def">alefz</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:alefz">alefz</a></code> is a unary function that takes an <code>Int</code> <em>n</em> and
returns an <em>n</em>-element list of the first <em>n</em> aleph numbers enumerating from
aleph-null.
</p></div></div><div class="top"><p class="src"><a name="v:tavs" class="def">tavs</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:tavs">tavs</a></code> is a nullary function that returns a countably-infinite (aleph-null sized)
sequence (a <em>stream</em>) of <code><a href="LargeCardinalHierarchy.html#v:TAV">TAV</a></code>s; <code><a href="LargeCardinalHierarchy.html#v:TAV">TAV</a></code> being the symbol for the absolutely infinite
supremum of the class of all cardinals, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:absolutes" class="def">absolutes</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:absolutes">absolutes</a></code> is a nullary function that returns a countably-infinite (aleph-null sized)
sequence (a <em>stream</em>) of <code><a href="LargeCardinalHierarchy.html#v:AbsoluteInfinity">AbsoluteInfinity</a></code>s; <code><a href="LargeCardinalHierarchy.html#v:AbsoluteInfinity">AbsoluteInfinity</a></code> being the
<em>cardinality</em> the class of all cardinals, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:absoluteInfinities" class="def">absoluteInfinities</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:absoluteInfinities">absoluteInfinities</a></code> is a <em>type synonym</em> (nullary function) for <code><a href="LargeCardinalHierarchy.html#v:absolutes">absolutes</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:-35-" class="def">(#)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>'(#)' is binary function from (<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
'(#)' takes two cardinal numbers and returns their binary sum.
Category-theoretically speaking, '(#)' is a <em>coproduct</em> in the class of
all cardinals, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:-35-." class="def">(#.)</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>] -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>'(#.)' is a unary (or, multiary) function from [<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>] to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
'(#.)' takes a list of cardinal numbers and returns their multiary sum.
Category-theoretically speaking, '(#.)' is a <em>coproduct</em> in the class of
all cardinals, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:-42-." class="def">(*.)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>'(*.)' is a binary function from (<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
'(*.)' takes two cardinal numbers and returns their binary product.
</p></div></div><div class="top"><p class="src"><a name="v:x" class="def">x</a> :: [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>] -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:x">x</a></code> is a unary (or, multiary) function from [<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>] to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:x">x</a></code> takes a list of cardinal numbers and returns their multiary product.
</p></div></div><div class="top"><p class="src"><a name="v:-94-." class="def">(^.)</a> :: <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>'(^.)' is a binary function from (<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>,<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
'(^.)' take two cardinal numbers and returns the power of the
zeroth cardinal number exponentiated to the first cardinal number.
</p></div></div><div class="top"><p class="src"><a name="v:cp" class="def">cp</a> :: [a] -> [b] -> [(a, b)]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:cp">cp</a></code> is a binary function from [a] & [b] to [(a, b)].
<code><a href="LargeCardinalHierarchy.html#v:cp">cp</a></code> takes two <em>lists</em> of elements and returns the
list of all ordered pairs of elements between the two lists.
<code><a href="LargeCardinalHierarchy.html#v:cp">cp</a></code> is the <em>Cartesian product</em> operator.
</p></div></div><div class="top"><p class="src"><a name="v:cartesianProduct" class="def">cartesianProduct</a> :: [a] -> [b] -> [(a, b)]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:cartesianProduct">cartesianProduct</a></code> is a binary function from [a] & [b] to [(a, b)].
<code><a href="LargeCardinalHierarchy.html#v:cartesianProduct">cartesianProduct</a></code> takes two lists of elements and returns the
list of all ordered pairs of elements between the two lists
<code><a href="LargeCardinalHierarchy.html#v:cartesianProduct">cartesianProduct</a></code> is the <em>Cartesian product</em> operator.
</p></div></div><div class="top"><p class="src"><a name="v:powerList" class="def">powerList</a> :: [a] -> [[a]]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:powerList">powerList</a></code> is a unary function from [a] -> [[a]].
<code><a href="LargeCardinalHierarchy.html#v:powerList">powerList</a></code> takes a list of elements and returns the list of all sublists
of that list. <code><a href="LargeCardinalHierarchy.html#v:powerList">powerList</a></code> is a <em>canonical</em> example of Haskell's facilitation
in expressing functions elegantly.
</p></div></div><div class="top"><p class="src"><a name="v:ascend" class="def">ascend</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:ascend">ascend</a></code> is a unary function from <code>Integer</code> to [<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>].
<code><a href="LargeCardinalHierarchy.html#v:ascend">ascend</a></code> takes a natural number <em>n</em> and returns a list of aleph cardinals from
aleph 0 to aleph n.
</p></div></div><div class="top"><p class="src"><a name="v:descend" class="def">descend</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:descend">descend</a></code> is a unary function from <code>Integer</code> to [<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>].
<code><a href="LargeCardinalHierarchy.html#v:descend">descend</a></code> takes a natural number <em>n</em> and returns a list of aleph cardinals from
aleph n to aleph 0.
</p></div></div><div class="top"><p class="src"><a name="v:level" class="def">level</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> is a ternary function from (<code>Int</code>, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> takes an <code>Int</code> <em>n</em>, a <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> value constructor <em>cons</em>, and an <code>Integer</code> <em>m</em>
and returns a <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> equal to <em>cons</em> <code>$</code> <em>cons</em> <code>$</code> <em>cons</em> <code>$</code> ... <code>$</code> <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> <em>m</em>.
</p></div></div><div class="top"><p class="src"><a name="v:ascent" class="def">ascent</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:ascent">ascent</a></code> is a quaternary function from (<code>Int</code>, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>, <code>Integer</code>, <code>Integer</code>) to
[<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>]. <code><a href="LargeCardinalHierarchy.html#v:ascent">ascent</a></code> takes an <code>Int</code> <em>x</em>, a <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> value constructor <em>cons</em>, and
two <code>Integer</code>s <em>y</em> and <em>z</em> and returns a list of <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <em>x</em> type
<em>cons</em> <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> values from <em>y</em> to <em>z</em>, where <em>y</em> <= <em>z</em>.
<code><a href="LargeCardinalHierarchy.html#v:ascent">ascent</a></code> is a generalization of <code><a href="LargeCardinalHierarchy.html#v:ascend">ascend</a></code>
over all data constructors in <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:descent" class="def">descent</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Integer -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:descent">descent</a></code> is a quaternary function from (<code>Int</code>, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>, <code>Integer</code>, <code>Integer</code>) to
[<code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>]. <code><a href="LargeCardinalHierarchy.html#v:descent">descent</a></code> takes an <code>Int</code> <em>x</em>, a <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> value constructor <em>cons</em>, and
two <code>Integer</code>s <em>y</em> and <em>z</em> and returns a list of <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <em>x</em> type
<em>cons</em> <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> values from <em>y</em> to <em>z</em>, where <em>y</em> >= <em>z</em>.
<code><a href="LargeCardinalHierarchy.html#v:descent">descent</a></code> is a generalization of <code><a href="LargeCardinalHierarchy.html#v:descend">descend</a></code>
over all data constructors in <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:c" class="def">c</a> :: Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:c">c</a></code> is a unary function that takes an <code>Integer</code> <em>n</em> and
returns a finite cardinal number, <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:alef" class="def">alef</a> :: Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:alef">alef</a></code> is a unary function that takes an <code>Integer</code> <em>n</em> and
returns a tranfinite aleph number subscripted by cardinal <em>n</em>, <code><a href="LargeCardinalHierarchy.html#v:Aleph">Aleph</a></code> <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:aleph" class="def">aleph</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:aleph">aleph</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:aleph">aleph</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:Aleph">Aleph</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:beth" class="def">beth</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:beth">beth</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:beth">beth</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:Aleph">Aleph</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:wInac" class="def">wInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:wInac">wInac</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:wInac">wInac</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:WeaklyInaccessible">WeaklyInaccessible</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:weaklyInaccessible" class="def">weaklyInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:weaklyInaccessible">weaklyInaccessible</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:wInac">wInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:sInac" class="def">sInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:sInac">sInac</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:sInac">sInac</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:StronglyInaccessible">StronglyInaccessible</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:stronglyInaccessible" class="def">stronglyInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:stronglyInaccessible">stronglyInaccessible</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:sInac">sInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:theta" class="def">theta</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:theta">theta</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:theta">theta</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:StronglyInaccessible">StronglyInaccessible</a></code> cardinal whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:theta">theta</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:sInac">sInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:aInac" class="def">aInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:aInac">aInac</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:aInac">aInac</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:AlphaInaccessible">AlphaInaccessible</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:alphaInaccessible" class="def">alphaInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:alphaInaccessible">alphaInaccessible</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:alphaInaccessible">alphaInaccessible</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:AlphaInaccessible">AlphaInaccessible</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:alphaInaccessible">alphaInaccessible</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:aInac">aInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:hInac" class="def">hInac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:hInac">hInac</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:hInac">hInac</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:HyperInaccessible">HyperInaccessible</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:hyperInaccessible" class="def">hyperInaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:hyperInaccessible">hyperInaccessible</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:hyperInaccessible">hyperInaccessible</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:HyperInaccessible">HyperInaccessible</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:hyperInaccessible">hyperInaccessible</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:hInac">hInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:nu" class="def">nu</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:nu">nu</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:nu">nu</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:HyperInaccessible">HyperInaccessible</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:nu">nu</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:hInac">hInac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:h2Inac" class="def">h2Inac</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:h2Inac">h2Inac</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:h2Inac">h2Inac</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:Hyper2Inaccessible">Hyper2Inaccessible</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:hyper2Inaccessible" class="def">hyper2Inaccessible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:hyper2Inaccessible">hyper2Inaccessible</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:hyper2Inaccessible">hyper2Inaccessible</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:Hyper2Inaccessible">Hyper2Inaccessible</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:hyper2Inaccessible">hyper2Inaccessible</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:h2Inac">h2Inac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:mu" class="def">mu</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:mu">mu</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:mu">mu</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:Hyper2Inaccessible">Hyper2Inaccessible</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:mu">mu</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:h2Inac">h2Inac</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:wMahlo" class="def">wMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:wMahlo">wMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:wMahlo">wMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:WeaklyMahlo">WeaklyMahlo</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:weaklyMahlo" class="def">weaklyMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:weaklyMahlo">weaklyMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:weaklyMahlo">weaklyMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:WeaklyMahlo">WeaklyMahlo</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:weaklyMahlo">weaklyMahlo</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:wMahlo">wMahlo</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:sMahlo" class="def">sMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:sMahlo">sMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:sMahlo">sMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:StronglyMahlo">StronglyMahlo</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:stronglyMahlo" class="def">stronglyMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:stronglyMahlo">stronglyMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:stronglyMahlo">stronglyMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:StronglyMahlo">StronglyMahlo</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:stronglyMahlo">stronglyMahlo</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:sMahlo">sMahlo</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:rho" class="def">rho</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:rho">rho</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:rho">rho</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<code>m</code> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:StronglyMahlo">StronglyMahlo</a></code> cardinal whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:aMahlo" class="def">aMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:aMahlo">aMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:aMahlo">aMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:AlphaMahlo">AlphaMahlo</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:alphaMahlo" class="def">alphaMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:alphaMahlo">alphaMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:alphaMahlo">alphaMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:AlphaMahlo">AlphaMahlo</a></code> whose deepest subscript is <em>n</em>.
<code><a href="LargeCardinalHierarchy.html#v:alphaMahlo">alphaMahlo</a></code> is a <em>function synonym</em> for <code><a href="LargeCardinalHierarchy.html#v:aMahlo">aMahlo</a></code>.
</p></div></div><div class="top"><p class="src"><a name="v:hMahlo" class="def">hMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:hMahlo">hMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:hMahlo">hMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:HyperMahlo">HyperMahlo</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:hyperMahlo" class="def">hyperMahlo</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p><code><a href="LargeCardinalHierarchy.html#v:hyperMahlo">hyperMahlo</a></code> is a binary function from (<code>Int</code>, <code>Integer</code>) to <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code>.
<code><a href="LargeCardinalHierarchy.html#v:hyperMahlo">hyperMahlo</a></code> takes an <code>Int</code> <em>m</em> and an <code>Integer</code> <em>n</em> and returns an
<em>m</em> <code><a href="LargeCardinalHierarchy.html#v:level">level</a></code> <code><a href="LargeCardinalHierarchy.html#v:HyperMahlo">HyperMahlo</a></code> whose deepest subscript is <em>n</em>.
</p></div></div><div class="top"><p class="src"><a name="v:reflect" class="def">reflect</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Integer) to Card
reflect takes an Int m and an Integer n and returns an
m level reflecting cardinal whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:reflecting" class="def">reflecting</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:pii" class="def">pii</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Int, Int, Integer) to Card
pii takes an Int x, an Int y, an Int m, and an Integer n
and returns the m level pi-(x, y)-indescribable cardinal
whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:piIndesc" class="def">piIndesc</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piIndescribable" class="def">piIndescribable</a> :: Int -> Int -> Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ti" class="def">ti</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totalIndesc" class="def">totalIndesc</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIndescribable" class="def">totallyIndescribable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ni" class="def">ni</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nuIndesc" class="def">nuIndesc</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nuIndescribable" class="def">nuIndescribable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfold" class="def">lambdaUnfold</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfoldable" class="def">lambdaUnfoldable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfold" class="def">unfold</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfoldable" class="def">unfoldable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaShrewd" class="def">lambdaShrewd</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shrewd" class="def">shrewd</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ether" class="def">ether</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Integer) to Card
ether takes an Int m and an Integer n and returns an
m level ethereal cardinal whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:ethereal" class="def">ethereal</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subtle" class="def">subtle</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Integer) to Card
subtle takes an Int m and an Integer n and returns an
m level subtle cardinal whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:almostIneff" class="def">almostIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostIneffable" class="def">almostIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineff" class="def">ineff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffable" class="def">ineffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneff" class="def">nIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneffable" class="def">nIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totalIneff" class="def">totalIneff</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIneffable" class="def">totallyIneffable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:remark" class="def">remark</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:remarkable" class="def">remarkable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aErdos" class="def">aErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaErdos" class="def">alphaErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gamma" class="def">gamma</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gErdos" class="def">gErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gammaErdos" class="def">gammaErdos</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aRamsey" class="def">aRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostRamsey" class="def">almostRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:jonsson" class="def">jonsson</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rowbottom" class="def">rowbottom</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ramsey" class="def">ramsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:iRamsey" class="def">iRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffablyRamsey" class="def">ineffablyRamsey</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measure" class="def">measure</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measurable" class="def">measurable</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:kappa" class="def">kappa</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Integer) to Card
kappa takes an Int m and an Integer n and returns an
m level measurable cardinal whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:zeroDag" class="def">zeroDag</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zeroDagger" class="def">zeroDagger</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaStrong" class="def">lambdaStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:strong" class="def">strong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:woodin" class="def">woodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:whWoodin" class="def">whWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyHyperWoodin" class="def">weaklyHyperWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shelah" class="def">shelah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hWoodin" class="def">hWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperWoodin" class="def">hyperWoodin</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ss" class="def">ss</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:supStrong" class="def">supStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:superstrong" class="def">superstrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:superStrong" class="def">superStrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subcompact" class="def">subcompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglyCompact" class="def">stronglyCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:supCompact" class="def">supCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:superCompact" class="def">superCompact</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:eta" class="def">eta</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etaExtend" class="def">etaExtend</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etaExtendible" class="def">etaExtendible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ex" class="def">ex</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extend" class="def">extend</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extendible" class="def">extendible</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:vopenka" class="def">vopenka</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nss" class="def">nss</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperstrong" class="def">nSuperstrong</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nah" class="def">nah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nAlmostHuge" class="def">nAlmostHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nsah" class="def">nsah</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperAlmostHuge" class="def">nSuperAlmostHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nh" class="def">nh</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nHuge" class="def">nHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nsh" class="def">nsh</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperHuge" class="def">nSuperHuge</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rank" class="def">rank</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambda" class="def">lambda</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from (Int, Integer) to Card
lambda takes an Int m and an Integer n and returns an
m level rank-into-rank cardinal whose deepest subscript is n
</p></div></div><div class="top"><p class="src"><a name="v:rankIntoRank" class="def">rankIntoRank</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:reinhardt" class="def">reinhardt</a> :: Int -> Integer -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a><a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:order" class="def">order</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from <code>Int</code> x <code><a href="LargeCardinalHierarchy.html#t:Card">Card</a></code> to Card
order takes an Int m and a Card card and returns the
countably infinite list of level m card(s) indexed over
the natural numbers [0..]. That is, order returns
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p><p>order increases <code>linearly</code> over its second argument
keeping its first argument constant. order indexes in a
zero order manner over the natural numbers.
order m card =
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p><p>fixedpoints increases <code>hierarchly</code> over its first argument
keeping its second argument constant. fixedpoints indexes
in a higher order manner over its own arguments.
fixedpoints m card =
[(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .]
</p></div></div><div class="top"><p class="src"><a name="v:zeroOrder" class="def">zeroOrder</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from Int x Card to Card
zeroOrder takes an Int m and a Card card and returns the
countably infinite list of level m card(s) indexed over
the natural numbers [0..]. That is, zeroOrder returns
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p><p>zeroOrder increases <code>linearly</code> over its second argument
keeping its first argument constant. zeroOrder indexes in a
zero order manner over the natural numbers.
zeroOrder m card =
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p><p>zeroOrder 1 Aleph =
[Aleph(0), Aleph(1), Aleph(2), Aleph(3), . . .]
</p><p>higherOrder increases <code>hierarchly</code> over its first argument
keeping its second argument constant. higherOrder indexes
in a higher order manner over its own arguments.
higherOrder m card =
[(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .]
</p><p>higherOrder 1 Aleph =
[(1), Aleph(1), Aleph(Aleph(1)), Aleph(Aleph(Aleph(1))), . . .]
</p></div></div><div class="top"><p class="src"><a name="v:orderClass" class="def">orderClass</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from Int x Card to Card
orderClass takes an Int m and a Card card and returns the
countably infinite list of level m card(s) indexed over
the natural numbers [0..]. That is, orderClass returns
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
orderClass is identical to order
</p></div></div><div class="top"><p class="src"><a name="v:club" class="def">club</a> :: (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Unary function from Card to Card
club takes a Card value constructor card and returns
the countably infinite list of type card Card fixed points
indexed over the natural numbers [0..]. That is, club returns
[(card 1 0), (card 2 0), (card 3 0), . . .]
club is an implementation of the normal function f: Ordinals -> Ordinals
that defines a closed and unbounded (club) class of ordinal
fixed points according to the <a href="Fixed point lemma for normal functions.html">Fixed point lemma for normal functions</a>
</p></div></div><div class="top"><p class="src"><a name="v:fixedpoints" class="def">fixedpoints</a> :: Integer -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from Int x Card to Card
fixedpoints takes an Int m and a Card value constructor card and returns
the countably infinite list of type card Card fixed points
indexed over the natural number m. That is, fixedpoints returns
[(card 1 m), (card 2 m), (card 3 m), . . .]
fixedpoints is an implementation of the normal function
f: Ordinals -> Ordinals
that defines a closed and unbounded (club) class of ordinal
fixed points according to the <a href="Fixed point lemma for normal functions.html">Fixed point lemma for normal functions</a>
</p><p>fixedpoints increases <code>hierarchly</code> over its first argument
keeping its second argument constant. fixedpoints indexes
in a higher order manner over its own arguments.
fixedpoints m card =
[(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .]
</p><p>order increases <code>linearly</code> over its second argument
keeping its first argument constant. order indexes in a
zero order manner over the natural numbers.
order m card =
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p></div></div><div class="top"><p class="src"><a name="v:higherOrder" class="def">higherOrder</a> :: Integer -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Binary function from Int x Card to Card
higherOrder takes an Int m and a Card value constructor card and returns
the countably infinite list of type card Card fixed points
indexed over the natural number m. That is, higherOrder returns
[(card 1 m), (card 2 m), (card 3 m), . . .]
higherOrder is an implementation of the normal function
f: Ordinals -> Ordinals
that defines a closed and unbounded (club) class of ordinal
fixed points according to the <a href="Fixed point lemma for normal functions.html">Fixed point lemma for normal functions</a>
</p><p>higherOrder increases <code>hierarchly</code> over its first argument
keeping its second argument constant. higherOrder indexes
in a higher order manner over its own arguments.
higherOrder m card =
[(card 1 m), (card 2 m), (card 3 m), (card 4 m), . . .]
</p><p>higherOrder 1 Aleph =
[(1), Aleph(1), Aleph(Aleph(1)), Aleph(Aleph(Aleph(1))), . . .]
</p><p>zeroOrder increases <code>linearly</code> over its second argument
keeping its first argument constant. zeroOrder indexes in a
zero order manner over the natural numbers.
zeroOrder m card =
[(card m 0), (card m 1), (card m 2), (card m 3), . . .]
</p><p>zeroOrder 1 Aleph =
[Aleph(0), Aleph(1), Aleph(2), Aleph(3), . . .]
</p></div></div><div class="top"><p class="src"><a name="v:fromTo" class="def">fromTo</a> :: Int -> (<a href="LargeCardinalHierarchy.html#t:Card">Card</a> -> <a href="LargeCardinalHierarchy.html#t:Card">Card</a>) -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p><div class="doc"><p>Quaternary function from Int x Card x Int x Int to [Card]
fromTo takes an Int ord, a Card value constructor cons, an Int m,
and an Int n and returns the list of type cons Card(s) of order
ord indexed from m to n. That is, fromTo returns
[(cons ord m), . . . , (cons ord n)]
fromTo ord cons m n = descent ord cons m n
</p></div></div><div class="top"><p class="src"><a name="v:alephs" class="def">alephs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alefs" class="def">alefs</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:wInacs" class="def">wInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyInaccessibles" class="def">weaklyInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:wInacz" class="def">wInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyInaccessiblez" class="def">weaklyInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sInacs" class="def">sInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglyInaccessibles" class="def">stronglyInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sInacz" class="def">sInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglyInaccessiblez" class="def">stronglyInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aInacs" class="def">aInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaInaccessibles" class="def">alphaInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aInacz" class="def">aInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaInaccessiblez" class="def">alphaInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hInacs" class="def">hInacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperInaccessibles" class="def">hyperInaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hInacz" class="def">hInacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperInaccessiblez" class="def">hyperInaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:h2Inacs" class="def">h2Inacs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyper2Inaccessibles" class="def">hyper2Inaccessibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:h2Inacz" class="def">h2Inacz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyper2Inaccessiblez" class="def">hyper2Inaccessiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:wMahlos" class="def">wMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyMahlos" class="def">weaklyMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:wMahloz" class="def">wMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyMahloz" class="def">weaklyMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sMahlos" class="def">sMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglyMahlos" class="def">stronglyMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sMahloz" class="def">sMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglyMahloz" class="def">stronglyMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aMahlos" class="def">aMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaMahlos" class="def">alphaMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aMahloz" class="def">aMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaMahloz" class="def">alphaMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hMahlos" class="def">hMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperMahlos" class="def">hyperMahlos</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hMahloz" class="def">hMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperMahloz" class="def">hyperMahloz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:reflections" class="def">reflections</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:reflexions" class="def">reflexions</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piis" class="def">piis</a> :: Int -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piIndescribables" class="def">piIndescribables</a> :: Int -> Int -> Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piiz" class="def">piiz</a> :: Int -> Int -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:piIndescribablez" class="def">piIndescribablez</a> :: Int -> Int -> Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:tis" class="def">tis</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIndescribables" class="def">totallyIndescribables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:tiz" class="def">tiz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIndescribablez" class="def">totallyIndescribablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nis" class="def">nis</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nuIndescribables" class="def">nuIndescribables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:niz" class="def">niz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nuIndescribablez" class="def">nuIndescribablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfolds" class="def">lambdaUnfolds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfoldables" class="def">lambdaUnfoldables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfoldz" class="def">lambdaUnfoldz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaUnfoldablez" class="def">lambdaUnfoldablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfolds" class="def">unfolds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfoldables" class="def">unfoldables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfoldz" class="def">unfoldz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:unfoldablez" class="def">unfoldablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaShrewds" class="def">lambdaShrewds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaShrewdz" class="def">lambdaShrewdz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shrewds" class="def">shrewds</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shrewdz" class="def">shrewdz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ethers" class="def">ethers</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ethereals" class="def">ethereals</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etherz" class="def">etherz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etherealz" class="def">etherealz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subtles" class="def">subtles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subtlez" class="def">subtlez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostIneffs" class="def">almostIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostIneffables" class="def">almostIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostIneffz" class="def">almostIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostIneffablez" class="def">almostIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffs" class="def">ineffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffables" class="def">ineffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffz" class="def">ineffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffablez" class="def">ineffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneffs" class="def">nIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneffables" class="def">nIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneffz" class="def">nIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nIneffablez" class="def">nIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totalIneffs" class="def">totalIneffs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIneffables" class="def">totallyIneffables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totalIneffz" class="def">totalIneffz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:totallyIneffablez" class="def">totallyIneffablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:remarkables" class="def">remarkables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:remarkablez" class="def">remarkablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aErdoss" class="def">aErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaErdoss" class="def">alphaErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aErdosz" class="def">aErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:alphaErdosz" class="def">alphaErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gErdoss" class="def">gErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gammaErdoss" class="def">gammaErdoss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gErdosz" class="def">gErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:gammaErdosz" class="def">gammaErdosz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aRamseys" class="def">aRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostRamseys" class="def">almostRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:aRamseyz" class="def">aRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:almostRamseyz" class="def">almostRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:jonssons" class="def">jonssons</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:jonssonz" class="def">jonssonz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rowbottoms" class="def">rowbottoms</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rowbottomz" class="def">rowbottomz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ramseys" class="def">ramseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ramseyz" class="def">ramseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:iRamseys" class="def">iRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffablyRamseys" class="def">ineffablyRamseys</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:iRamseyz" class="def">iRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ineffablyRamseyz" class="def">ineffablyRamseyz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measures" class="def">measures</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measurables" class="def">measurables</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measurez" class="def">measurez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:measurablez" class="def">measurablez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zeroDags" class="def">zeroDags</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zeroDaggers" class="def">zeroDaggers</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zeroDagz" class="def">zeroDagz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:zeroDaggerz" class="def">zeroDaggerz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaStrongs" class="def">lambdaStrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:lambdaStrongz" class="def">lambdaStrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:strongs" class="def">strongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:strongz" class="def">strongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:woodins" class="def">woodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:woodinz" class="def">woodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:whWoodins" class="def">whWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyHyperWoodins" class="def">weaklyHyperWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:whWoodinz" class="def">whWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:weaklyHyperWoodinz" class="def">weaklyHyperWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shelahs" class="def">shelahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:shelahz" class="def">shelahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hWoodins" class="def">hWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperWoodins" class="def">hyperWoodins</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hWoodinz" class="def">hWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:hyperWoodinz" class="def">hyperWoodinz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:sss" class="def">sss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:superstrongs" class="def">superstrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ssz" class="def">ssz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:superstrongz" class="def">superstrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:scs" class="def">scs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subcompacts" class="def">subcompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:scz" class="def">scz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:subcompactz" class="def">subcompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglycompacts" class="def">stronglycompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:stronglycompactz" class="def">stronglycompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:supercompacts" class="def">supercompacts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:supercompactz" class="def">supercompactz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etas" class="def">etas</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etaExtendibles" class="def">etaExtendibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etaz" class="def">etaz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:etaExtendiblez" class="def">etaExtendiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extends" class="def">extends</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extendibles" class="def">extendibles</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extendz" class="def">extendz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:extendiblez" class="def">extendiblez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:vopenkas" class="def">vopenkas</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:vopenkaz" class="def">vopenkaz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nsss" class="def">nsss</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperstrongs" class="def">nSuperstrongs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nssz" class="def">nssz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperstrongz" class="def">nSuperstrongz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nahs" class="def">nahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nAlmostHuges" class="def">nAlmostHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nahz" class="def">nahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nAlmostHugez" class="def">nAlmostHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nsahs" class="def">nsahs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperAlmostHuges" class="def">nSuperAlmostHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nsahz" class="def">nsahz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperAlmostHugez" class="def">nSuperAlmostHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nHuges" class="def">nHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nHugez" class="def">nHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nshs" class="def">nshs</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperHuges" class="def">nSuperHuges</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nshz" class="def">nshz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:nSuperHugez" class="def">nSuperHugez</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:ranks" class="def">ranks</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rankIntoRanks" class="def">rankIntoRanks</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rankz" class="def">rankz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:rankIntoRankz" class="def">rankIntoRankz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:reinhardts" class="def">reinhardts</a> :: Int -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div><div class="top"><p class="src"><a name="v:reinhardtz" class="def">reinhardtz</a> :: Integer -> [<a href="LargeCardinalHierarchy.html#t:Card">Card</a>]<a href="LargeCardinalHierarchy.hs" class="link">Source</a></p></div></div></div><div id="footer"><p>Produced by <a href="http://www.haskell.org/haddock/">Haddock</a> version 2.11.0</p></div></body></html>