Difference between revisions of "Predicate-free indescribable"

From Cantor's Attic
Jump to: navigation, search
(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:
#REDIRECT [[Indescribable#Predicate-free indescribable]]
{{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''.-->

Latest revision as of 20:39, 1 July 2022