203:
244:
273:
141:, ≤) the following holds: κ is supercompact and remains supercompact after forcing with any κ-directed closed forcing.
129:
The original application of Laver functions was the following theorem of Laver. If κ is supercompact, there is a κ-c.c.
164:
237:
278:
268:
230:
130:
36:
145:
106:
263:
214:
181:
173:
162:(1978). "Making the supercompactness of κ indestructible under κ-directed closed forcing".
185:
114:
257:
159:
32:
144:
There are many other applications, for example the proof of the consistency of the
210:
20:
202:
177:
47:
If κ is a supercompact cardinal, a Laver function is a function
218:
66:)| + κ there is a supercompact measure
238:
8:
80:is the associated elementary embedding then
245:
231:
62:and every cardinal λ ≥ |TC(
7:
199:
197:
137:, ≤) such after forcing with (
16:Mathematical function in set theory
217:. You can help Knowledge (XXG) by
14:
201:
35:) is a function connected with
105:denotes the κ-th level of the
1:
165:Israel Journal of Mathematics
31:, named after its inventor,
295:
196:
58:such that for every set
274:Functions and mappings
213:-related article is a
37:supercompact cardinals
146:proper forcing axiom
107:cumulative hierarchy
178:10.1007/bf02761175
115:transitive closure
226:
225:
70:on such that if
286:
279:Set theory stubs
247:
240:
233:
205:
198:
189:
294:
293:
289:
288:
287:
285:
284:
283:
269:Large cardinals
254:
253:
252:
251:
194:
192:
158:
154:
127:
104:
89:
79:
57:
51::κ →
45:
17:
12:
11:
5:
292:
290:
282:
281:
276:
271:
266:
256:
255:
250:
249:
242:
235:
227:
224:
223:
206:
191:
190:
172:(4): 385–388.
160:Laver, Richard
155:
153:
150:
126:
123:
102:
84:
74:
55:
44:
41:
25:Laver function
15:
13:
10:
9:
6:
4:
3:
2:
291:
280:
277:
275:
272:
270:
267:
265:
262:
261:
259:
248:
243:
241:
236:
234:
229:
228:
222:
220:
216:
212:
207:
204:
200:
195:
187:
183:
179:
175:
171:
167:
166:
161:
157:
156:
151:
149:
147:
142:
140:
136:
132:
124:
122:
120:
116:
112:
108:
101:
97:
93:
88:
83:
78:
73:
69:
65:
61:
54:
50:
42:
40:
38:
34:
33:Richard Laver
30:
29:Laver diamond
26:
22:
219:expanding it
208:
193:
169:
163:
143:
138:
134:
128:
125:Applications
118:
110:
99:
95:
91:
86:
81:
76:
71:
67:
63:
59:
52:
48:
46:
28:
24:
18:
264:Set theory
258:Categories
211:set theory
186:0381.03039
152:References
43:Definition
21:set theory
113:) is the
133:notion (
98:. (Here
131:forcing
94:)(κ) =
184:
85:
75:
209:This
109:, TC(
215:stub
27:(or
23:, a
182:Zbl
174:doi
117:of
19:In
260::
180:.
170:29
168:.
148:.
121:)
39:.
246:e
239:t
232:v
221:.
188:.
176::
139:P
135:P
119:x
111:x
103:κ
100:V
96:x
92:ƒ
90:(
87:U
82:j
77:U
72:j
68:U
64:x
60:x
56:κ
53:V
49:ƒ
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.