THEOREMS FROM MEASURE AXIOMS, COUNTEREXAMPLES FROM DIAMOND(++)

被引：1
|
作者：
FLEISSNER, W
机构：
[1] Department of Mathematics, University of Kansas, Lawrence, Kansas
来源：
WORK OF MARY ELLEN RUDIN | 1993年 / 705卷
关键词：
MARY ELLEN RUDIN; NORMAL MOORE SPACE CONJECTURE; MOORE SPACE; K'-SPACE; NORMAL; COLLECTIONWISE NORMAL; V=L; DIAMOND DOUBLE PLUS; SHRINKING;
D O I：
10.1111/j.1749-6632.1993.tb12525.x
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
Daniels' proof that after adding supercompact many random reals, normal k'-spaces are collectionwise normal is simplified. Examples of how to use diamond(++) to construct spaces are given. Question 36 of Watson is answered.
引用
收藏
页码：67 / 77
页数：11
相关论文
共 50 条
  • [31] LEARNING REGULAR LANGUAGES FROM COUNTEREXAMPLES
    IBARRA, OH
    TAO, J
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1991, 43 (02) : 299 - 316
  • [32] A PROGRAM FOR THE PRODUCTION OF PROOFS FOR THEOREMS DERIVABLE WITHIN THE 1ST ORDER PREDICATE CALCULUS FROM AXIOMS
    GILMORE, PC
    COMMUNICATIONS OF THE ACM, 1959, 2 (07) : 19 - 19
  • [33] The importance of non-theorems and counterexamples in program verification
    Steel, Graham
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 491 - 495
  • [34] Finding Counterexamples from Parsing Conflicts
    Isradisaikul, Chinawat
    Myers, Andrew C.
    ACM SIGPLAN NOTICES, 2015, 50 (06) : 555 - 564
  • [35] Counterexamples from Proof Failures in SPARK
    Hauzar, David
    Marche, Claude
    Moy, Yannick
    SOFTWARE ENGINEERING AND FORMAL METHODS: 14TH INTERNATIONAL CONFERENCE, SEFM 2016, 2016, 9763 : 215 - 233
  • [36] Variational principle in the Dirac theory: Theorems, examples and counterexamples
    Karwowski, J
    Pestka, G
    Stanke, M
    QUANTUM SYSTEMS IN CHEMISTRY AND PHYSICS, VOL 1: BASIC PROBLEMS AND MODEL SYSTEMS, 2000, 2 : 177 - 193
  • [37] A collection of probabilistic hidden-variable theorems and counterexamples
    Suppes, P
    de Barros, JA
    Oas, G
    WAVES, INFORMATION AND FOUNDATIONS OF PHYSICS - CONFERENCE PROCEEDINGS, 1998, 60 : 267 - 291
  • [38] SOME THEOREMS, COUNTEREXAMPLES, AND CONJECTURES IN MULTINOMIAL SELECTION THEORY
    CHEN, RW
    HWANG, FK
    COMMUNICATIONS IN STATISTICS-THEORY AND METHODS, 1984, 13 (10) : 1289 - 1298
  • [39] Discovery of Relation Axioms from the Web
    Del Vasto Terrientes, Luis
    Moreno, Antonio
    Sanchez, David
    KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT, 2010, 6291 : 222 - 233
  • [40] Some axioms and theorems in damage mechanics and fatigue of materials
    Mariano, PM
    Augusti, G
    INTERNATIONAL JOURNAL OF SOLIDS AND STRUCTURES, 1997, 34 (25) : 3337 - 3350
12345