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)
“I’ve always had the notion that people go to spectator sports to have fun and then they grab the paper to read about it and have fun again.”
—Walter Wellesley (Red)