共 50 条
- [31] UNDECIDABLE EXTENSIONS OF MONADIC SECOND-ORDER SUCCESSOR ARITHMETIC ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1971, 17 (05): : 385 - &
- [36] Some new results in monadic second-order arithmetic COMPUTABILITY-THE JOURNAL OF THE ASSOCIATION CIE, 2015, 4 (02): : 159 - 174
- [37] NON-FINITE AXIOMATIZABILITY OF SECOND-ORDER ARITHMETIC BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (05): : 347 - &
- [38] CHOICE SCHEMATA IN SECOND-ORDER ARITHMETIC - PRELIMINARY REPORT NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A499 - A500