Knowledge

Talk:General frame

Source 📝

84: 74: 53: 22: 215: 140: 247: 445: 499: 472: 594: 574: 554: 519: 399: 375: 331: 311: 291: 267: 628: 130: 623: 106: 601: 97: 58: 33: 174: 596:
is just the normal probability space. So its all hunky-dorey for small-enough sets. Whether any of this works out for
405:). Is there some reason technical reason not to state this? OK, well, I see one: sigma algebras are closed under 339: 21: 347: 605: 220: 39: 83: 423: 105:
on Knowledge. If you would like to participate, please visit the project page, where you can join
597: 533: 343: 89: 477: 450: 73: 52: 416:
Am I supposed to assume that the statements in this article are valid for sets of arbitrary
522: 270: 579: 559: 539: 504: 384: 360: 316: 296: 276: 252: 617: 378: 526: 417: 410: 102: 79: 402: 409:
intersections and unions, whereas this article makes no statements about
609: 15: 582: 562: 542: 507: 480: 453: 426: 387: 363: 319: 299: 279: 255: 223: 177: 162:
In the definition (quoting the article), I see this:
101:, a collaborative effort to improve the coverage of 588: 568: 548: 513: 493: 466: 439: 393: 369: 325: 305: 285: 261: 241: 210:{\displaystyle \mathbf {F} =\langle F,R,V\rangle } 209: 8: 236: 224: 204: 186: 19: 47: 581: 561: 541: 536:, each Bayesian "prior" is an element of 521:correctly seems to require a walk up the 506: 485: 479: 458: 452: 431: 425: 386: 362: 318: 298: 278: 254: 222: 178: 176: 447:? Or is this intended to work for only 49: 357:Based on my reading, this means that 7: 95:This article is within the scope of 338:the Boolean operations of (binary) 333:that is closed under the following: 242:{\displaystyle \langle F,R\rangle } 38:It is of interest to the following 482: 455: 428: 14: 629:Low-priority mathematics articles 525:and you'll immediately bump into 440:{\displaystyle \aleph _{\alpha }} 115:Knowledge:WikiProject Mathematics 624:Start-Class mathematics articles 556:, each possible inference is in 179: 118:Template:WikiProject Mathematics 82: 72: 51: 20: 532:The reason I ask is because in 135:This article has been rated as 1: 109:and see a list of open tasks. 494:{\displaystyle \aleph _{1}} 467:{\displaystyle \aleph _{0}} 158:Sigma algebra? Cardinality? 645: 413:, one way or the other. 249:is a Kripke frame (i.e., 134: 67: 46: 610:21:31, 31 May 2024 (UTC) 141:project's priority scale 313:is a set of subsets of 98:WikiProject Mathematics 590: 570: 550: 515: 495: 468: 441: 395: 371: 327: 307: 287: 263: 243: 211: 28:This article is rated 591: 571: 551: 516: 496: 469: 442: 396: 372: 328: 308: 288: 264: 244: 212: 580: 560: 540: 505: 478: 451: 424: 385: 361: 317: 297: 277: 253: 221: 175: 121:mathematics articles 501:? Defining the set 169:modal general frame 598:higher order logic 586: 566: 546: 534:Bayesian inference 511: 491: 464: 437: 391: 367: 323: 303: 283: 259: 239: 207: 90:Mathematics portal 34:content assessment 589:{\displaystyle V} 569:{\displaystyle R} 549:{\displaystyle F} 514:{\displaystyle V} 394:{\displaystyle V} 381:(the elements of 370:{\displaystyle V} 326:{\displaystyle F} 306:{\displaystyle V} 286:{\displaystyle F} 262:{\displaystyle R} 155: 154: 151: 150: 147: 146: 636: 595: 593: 592: 587: 575: 573: 572: 567: 555: 553: 552: 547: 520: 518: 517: 512: 500: 498: 497: 492: 490: 489: 473: 471: 470: 465: 463: 462: 446: 444: 443: 438: 436: 435: 400: 398: 397: 392: 376: 374: 373: 368: 332: 330: 329: 324: 312: 310: 309: 304: 292: 290: 289: 284: 268: 266: 265: 260: 248: 246: 245: 240: 216: 214: 213: 208: 182: 123: 122: 119: 116: 113: 92: 87: 86: 76: 69: 68: 63: 55: 48: 31: 25: 24: 16: 644: 643: 639: 638: 637: 635: 634: 633: 614: 613: 578: 577: 558: 557: 538: 537: 523:Borel hierarchy 503: 502: 481: 476: 475: 454: 449: 448: 427: 422: 421: 383: 382: 359: 358: 315: 314: 295: 294: 275: 274: 271:binary relation 251: 250: 219: 218: 173: 172: 160: 120: 117: 114: 111: 110: 88: 81: 61: 32:on Knowledge's 29: 12: 11: 5: 642: 640: 632: 631: 626: 616: 615: 600:is not clear. 585: 565: 545: 510: 488: 484: 461: 457: 434: 430: 390: 366: 355: 354: 353: 352: 322: 302: 282: 258: 238: 235: 232: 229: 226: 206: 203: 200: 197: 194: 191: 188: 185: 181: 159: 156: 153: 152: 149: 148: 145: 144: 133: 127: 126: 124: 107:the discussion 94: 93: 77: 65: 64: 56: 44: 43: 37: 26: 13: 10: 9: 6: 4: 3: 2: 641: 630: 627: 625: 622: 621: 619: 612: 611: 607: 603: 599: 583: 563: 543: 535: 530: 528: 527:analytic sets 524: 508: 486: 459: 432: 419: 414: 412: 408: 404: 388: 380: 379:sigma algebra 364: 351: 349: 345: 341: 336: 335: 334: 320: 300: 280: 272: 256: 233: 230: 227: 201: 198: 195: 192: 189: 183: 170: 165: 164: 163: 157: 142: 138: 132: 129: 128: 125: 108: 104: 100: 99: 91: 85: 80: 78: 75: 71: 70: 66: 60: 57: 54: 50: 45: 41: 35: 27: 23: 18: 17: 602:67.198.37.16 531: 420:? e.g. for 415: 406: 356: 340:intersection 337: 171:is a triple 168: 166: 161: 137:Low-priority 136: 96: 62:Low‑priority 40:WikiProjects 576:, and then 418:cardinality 411:cardinality 273:on the set 112:Mathematics 103:mathematics 59:Mathematics 30:Start-class 618:Categories 403:Borel sets 348:complement 407:countable 217:, where 293:), and 139:on the 346:, and 36:scale. 377:is a 344:union 269:is a 606:talk 401:are 474:or 131:Low 620:: 608:) 529:. 483:ℵ 456:ℵ 433:α 429:ℵ 342:, 237:⟩ 225:⟨ 205:⟩ 187:⟨ 167:A 604:( 584:V 564:R 544:F 509:V 487:1 460:0 389:V 365:V 350:, 321:F 301:V 281:F 257:R 234:R 231:, 228:F 202:V 199:, 196:R 193:, 190:F 184:= 180:F 143:. 42::

Index


content assessment
WikiProjects
WikiProject icon
Mathematics
WikiProject icon
icon
Mathematics portal
WikiProject Mathematics
mathematics
the discussion
Low
project's priority scale
binary relation
intersection
union
complement
sigma algebra
Borel sets
cardinality
cardinality
Borel hierarchy
analytic sets
Bayesian inference
higher order logic
67.198.37.16
talk
21:31, 31 May 2024 (UTC)
Categories
Start-Class mathematics articles

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