http://cantorsattic.info/index.php?title=Special:NewPages&feed=atom&hideredirs=1&limit=50&offset=&namespace=0&username=&tagfilter=Cantor's Attic - New pages [en]2022-08-18T07:33:01ZFrom Cantor's AtticMediaWiki 1.24.4http://cantorsattic.info/Predicate-free_indescribablePredicate-free indescribable2022-07-02T03:36:14Z<p>C7X: Not able to find a source for the name, but instead a source for consistency strength of predicate-free Pi^1_1-indesc.bility</p>
<hr />
<div>{{delete|No sources}}<br />
<!--By removing the subset $A$ of $V_\kappa$ from the definition of $Q$-indescribability, we get the weaker notion of ''predicate-free indescribability''.--></div>C7Xhttp://cantorsattic.info/RHS0RHS02022-05-29T18:45:38Z<p>C7X: </p>
<hr />
<div>[[Category:Lower attic]]<br />
RHS0 is a notation for large recursive ordinals devised by (who?). In contrast to many other notations in this range, it's described as a "combinatorial" notation, based on countably many symbols that represent operators that take precedence over each other in a certain way. It's based on lambda calculus, and symbols represent functions on ordinals [http://log.chez.com/text/logic/ordinal_notations_v2.pdf#page=18].<br />
<br />
WIP</div>C7X