Generalized Notion
There is yet a third notion, model theoretic in nature and sometimes referred to as generalized stationarity. This notion is probably due to Magidor, Foreman and Shelah and has also been used prominently by Woodin.
Now let be a nonempty set. A set is club (closed and unbounded) if and only if there is a function such that . Here, is the collection of finite subsets of .
is stationary in if and only if it meets every club subset of .
To see the connection with model theory, notice that if is a structure with universe in a countable language and is a Skolem function for, then a stationary must contain an elementary substructure of . In fact, is stationary if and only if for any such structure there is an elementary substructure of that belongs to .
Read more about this topic: Stationary Set
Famous quotes containing the words generalized and/or notion:
“One is conscious of no brave and noble earnestness in it, of no generalized passion for intellectual and spiritual adventure, of no organized determination to think things out. What is there is a highly self-conscious and insipid correctness, a bloodless respectability submergence of matter in manner—in brief, what is there is the feeble, uninspiring quality of German painting and English music.”
—H.L. (Henry Lewis)
“The very notion of tabu is one of the rightest notions in the world. Better any old tabu than none, for a man cannot be said to be “on the side of the stars” at all, unless he makes refusals.”
—Katharine Fullerton Gerould (1879–1944)