32:
construction. Equivalently, if f:κ→κ is such that f(α)<α for most α<κ, then there is a β<κ such that f(α)=β for most α<κ. (Here, "most" means that the set of elements of κ where the property holds is a member of the ultrafilter, i.e. has measure 1.) Also equivalent, the ultrafilter (set
44:(club) subset of κ contains most ordinals less than κ and any subset containing most ordinals less than κ is stationary in κ.
71:
96:
91:
34:
8:
61:
25:
28:κ such that the equivalence class of the identity function on κ maps to κ itself in the
47:
If an uncountable cardinal κ has a measure on it, then it has a normal measure on it.
67:
57:
63:
The Higher
Infinite : Large Cardinals in Set Theory from Their Beginnings
85:
29:
17:
41:
83:
56:
84:
33:of sets of measure 1) is closed under
13:
14:
108:
1:
50:
7:
10:
113:
66:(1st ed.). Springer.
40:For a normal measure, any
97:Measures (set theory)
35:diagonal intersection
26:measurable cardinal
24:is a measure on a
58:Kanamori, Akihiro
104:
77:
42:closed unbounded
112:
111:
107:
106:
105:
103:
102:
101:
92:Large cardinals
82:
81:
74:
53:
12:
11:
5:
110:
100:
99:
94:
80:
79:
72:
52:
49:
22:normal measure
9:
6:
4:
3:
2:
109:
98:
95:
93:
90:
89:
87:
75:
73:3-540-57071-3
69:
65:
64:
59:
55:
54:
48:
45:
43:
38:
36:
31:
27:
23:
19:
62:
46:
39:
21:
15:
86:Categories
51:References
30:ultrapower
18:set theory
78:pp 52–53
60:(2003).
70:
68:ISBN
20:, a
16:In
88::
37:.
76:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.