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

From Cantor's Attic
Jump to: navigation, search
(Created page with "'''Karauwan cardinal''' is a large cardinal axiom first proposed by the Indonesian math hobbist whose name is Muhammad Bukhari Noor in April 2021 during a brainstorm while he...")
(No difference)

Revision as of 04:58, 26 July 2021

Karauwan cardinal is a large cardinal axiom first proposed by the Indonesian math hobbist whose name is Muhammad Bukhari Noor in April 2021 during a brainstorm while he was consternating due to boredom. Since then, it has gotten multiple revisions and modifications in its definitions. The original definition of Karauwan cardinal is written with paper, as opposed to having an online publish, due to the fact that the inventor prefer to write stuffs in paper over digital media. The origin of the name of the large cardinal axiom is believed to be one of the inventor's best friend in church

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:

[PS: not done editing, don't delete, will come back soon]