# Difference between revisions of "User:Muhammad Bukhari Noor/Karauwan cardinal"

Unlike most other large cardinal axioms, Karauwan cardinals are defined in an inpredicative way using the notion of restricted undefinability itself. More precisely, it's defined as uncountable cardinals $$\kappa$$ that is not definable in 1st order set theory using the transfinitary language $$L_{\kappa,\omega}$$ with less than $$\kappa$$ many symbols, with the definition given below: