Definition
The diamond principle ◊ says that there exists a ◊-sequence, in other words sets Aα⊆α for α<ω1 such that for any subset A of ω1 the set of α with A∩α = Aα is stationary in ω1.
More generally, for a given cardinal number and a stationary set, the statement ◊S (sometimes written ◊(S) or ◊κ(S)) is the statement that there is a sequence such that
- each
- for every is stationary in
The principle ◊ω1 is the same as ◊.
Read more about this topic: Diamond Principle
Famous quotes containing the word definition:
“It is very hard to give a just definition of love. The most we can say of it is this: that in the soul, it is a desire to rule; in the spirit, it is a sympathy; and in the body, it is but a hidden and subtle desire to possess—after many mysteries—what one loves.”
—François, Duc De La Rochefoucauld (1613–1680)
“Scientific method is the way to truth, but it affords, even in
principle, no unique definition of truth. Any so-called pragmatic
definition of truth is doomed to failure equally.”
—Willard Van Orman Quine (b. 1908)
“I’m beginning to think that the proper definition of “Man” is “an animal that writes letters.””
—Lewis Carroll [Charles Lutwidge Dodgson] (1832–1898)