Knowledge (XXG)

Set Theory: An Introduction to Independence Proofs

Source 📝

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:◊

Index

set theory
Kenneth Kunen
ZFC
trees
Suslin's problem

Martin's axiom
model theory
Gödel's constructible universe
forcing
doi
10.2307/2274070
JSTOR
2274070
"Set theory, An introduction to independence proofs by Kenneth Kunen"
doi
10.1090/S0273-0979-1984-15214-5
Set Theory: An Introduction to Independence Proofs
ISBN
0-444-85401-0
Zbl
0443.03021
ISBN
978-1-84890-050-9
MR
2905394
Zbl
1262.03001
Stub icon
mathematical

Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.