213:
257:
291:
178:
54:
250:
151:
276:
281:
243:
64:
Kunen completely rewrote the book for the 2011 edition (under the title "Set Theory"), including more model theory.
58:
108:
286:
223:
38:
95:
174:
147:
46:
42:
34:
227:
192:
157:
124:
87:
188:
196:
184:
161:
140:
270:
26:
129:
50:
212:
220:
22:
99:
53:(rather specifically aimed at models of set theory) and the theory of
91:
173:. Studies in Logic. Vol. 34. London: College Publications.
30:
33:
axioms, and quickly develops combinatorial notions such as
231:
57:
L. The book then proceeds to describe the method of
142:Set Theory: An Introduction to Independence Proofs
139:
111:Set theory, An introduction to independence proofs
76:Set Theory. An Introduction to Independence Proofs
18:Set Theory: An Introduction to Independence Proofs
29:. It starts from basic notions, including the
251:
8:
258:
244:
128:
7:
209:
207:
74:Baumgartner, James E. (June 1986). "
21:is a textbook and reference work in
230:. You can help Knowledge (XXG) by
14:
211:
130:10.1090/S0273-0979-1984-15214-5
55:Gödel's constructible universe
1:
80:The Journal of Symbolic Logic
292:Mathematics literature stubs
308:
206:
49:. It develops some basic
107:Henson, C. Ward (1984).
169:Kunen, Kenneth (2011).
138:Kunen, Kenneth (1980).
277:1980 non-fiction books
282:Mathematics textbooks
219:This article about a
117:Bull. Amer. Math. Soc
78:by Kenneth Kunen".
239:
238:
180:978-1-84890-050-9
146:. North-Holland.
113:by Kenneth Kunen"
299:
260:
253:
246:
215:
208:
200:
165:
145:
134:
132:
103:
39:Suslin's problem
307:
306:
302:
301:
300:
298:
297:
296:
267:
266:
265:
264:
204:
181:
168:
154:
137:
106:
92:10.2307/2274070
73:
70:
12:
11:
5:
305:
303:
295:
294:
289:
284:
279:
269:
268:
263:
262:
255:
248:
240:
237:
236:
216:
202:
201:
179:
166:
152:
135:
104:
86:(2): 462–464.
69:
66:
47:Martin's axiom
13:
10:
9:
6:
4:
3:
2:
304:
293:
290:
288:
285:
283:
280:
278:
275:
274:
272:
261:
256:
254:
249:
247:
242:
241:
235:
233:
229:
225:
222:
217:
214:
210:
205:
198:
194:
190:
186:
182:
176:
172:
167:
163:
159:
155:
153:0-444-85401-0
149:
144:
143:
136:
131:
126:
122:
118:
114:
112:
105:
101:
97:
93:
89:
85:
81:
77:
72:
71:
67:
65:
62:
60:
56:
52:
48:
44:
40:
36:
32:
28:
27:Kenneth Kunen
24:
20:
19:
232:expanding it
221:mathematical
218:
203:
170:
141:
120:
116:
110:
83:
79:
75:
63:
51:model theory
17:
16:
15:
224:publication
123:: 129–131.
287:Set theory
271:Categories
197:1262.03001
171:Set theory
162:0443.03021
68:References
23:set theory
189:2905394
100:2274070
59:forcing
195:
187:
177:
160:
150:
98:
45:, and
226:is a
96:JSTOR
35:trees
228:stub
175:ISBN
148:ISBN
193:Zbl
158:Zbl
125:doi
88:doi
31:ZFC
25:by
273::
191:.
185:MR
183:.
156:.
121:10
119:.
115:.
94:.
84:51
82:.
61:.
41:,
37:,
259:e
252:t
245:v
234:.
199:.
164:.
133:.
127::
109:"
102:.
90::
43:◊
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.