weakly compact cardinal
Weakly compact cardinals are (large) infinite cardinals which have a property related to the syntactic compactness theorem for first order logic. Specifically, for any infinite cardinal , consider the language .
This language is identical to first logic except that:
infinite strings of fewer than quantifiers are allowed
A cardinal is weakly compact if the weak compactness theorem holds for .
|Title||weakly compact cardinal|
|Date of creation||2013-03-22 12:50:53|
|Last modified on||2013-03-22 12:50:53|
|Last modified by||Henry (455)|
|Defines||weakly compact cardinal|
|Defines||weak compactness theorem|