共 11 条
- [2] ON SOME PROBLEMS OF THE DESCRIPTIVE SET-THEORY AND OF THE CONNECTION BETWEEN THE CONSTRUCTIBILITY AND THE DEFINABILITY DOKLADY AKADEMII NAUK SSSR, 1980, 253 (04): : 800 - 803
- [3] MODELS OF SET-THEORY WITH AXIOM OF CONSTRUCTIBILITY WHICH CONTAIN NON-CONSTRUCTIBLE SETS BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES TECHNIQUES, 1972, 20 (12): : 969 - 972
- [8] REPRESENTATION OF SIGMA-1-FUNCTIONS AS COMPOSITIONS OF SIGMA-0-FUNCTIONS IN GODEL-BERNAYS SET-THEORY WITH AXIOM OF CONSTRUCTIBILITY BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1974, 22 (08): : 755 - 756
- [9] Applications of descriptive set theory to classification problems for classes of structures and equivalence relations BOLLETTINO DELLA UNIONE MATEMATICA ITALIANA, 2000, 3A (03): : 291 - 294
- [10] Testing Relativised Uniform Equivalence under Answer-Set Projection in the System ccinverted perpendicular APPLICATIONS OF DECLARATIVE PROGRAMMING AND KNOWLEDGE MANAGEMENT: 17TH INTERNATIONAL CONFERENCE, INAP 2007/21ST WORKSHOP ON LOGIC PROGRAMMING, WLP 2007, 2009, 5437 : 241 - +