Difference between revisions of "Predicate-free indescribable"
From Cantor's Attic
(Redirected page to Indescribable#Predicate-free indescribable) |
(Not able to find a source for the name, but instead a source for consistency strength of predicate-free Pi^1_1-indesc.bility) |
||
Line 1: | Line 1: | ||
− | + | {{delete|No sources}} | |
+ | <!--By removing the subset $A$ of $V_\kappa$ from the definition of $Q$-indescribability, we get the weaker notion of ''predicate-free indescribability''.--> |