Rosser sentences D Guaspari, RM Solovay Annals of Mathematical Logic 16 (1), 81-99, 1979 | 125 | 1979 |
Partially conservative extensions of arithmetic D Guaspari Transactions of the American Mathematical Society 254, 47-68, 1979 | 74 | 1979 |
Sentences implying their own provability D Guaspari The Journal of symbolic logic 48 (3), 777-789, 1983 | 20 | 1983 |
Partially conservative sentences and interpretability D Guaspari Transactions of AMS 254, 47-68, 1979 | 5 | 1979 |
Note on the Kondo-Addison theorem D Guaspari The Journal of Symbolic Logic 39 (3), 567-570, 1974 | 5 | 1974 |
Characterizing 𝐸₃ (the largest countable Π¹₃ set) D Guaspari, L Harrington Proceedings of the American Mathematical Society 57 (1), 127-129, 1976 | 4 | 1976 |
CHARACTERIZING CONSTRUCTIBLE REALS D Guaspari BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES …, 1974 | 2 | 1974 |
Analytical Wellorderings in R D Guaspari Studies in Logic and the Foundations of Mathematics 80, 317-346, 1975 | 1 | 1975 |
Definability in models of set theory D Guaspari The Journal of Symbolic Logic 45 (1), 9-19, 1980 | | 1980 |
SELF-REFERENCE IN ARITHMETIC D GUASPARI JOURNAL OF SYMBOLIC LOGIC 44 (4), 661-662, 1979 | | 1979 |
DEFINABLE REAL NUMBERS L HARRINGTON, D GUASPARI NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 22 (1), A33-A33, 1975 | | 1975 |
BULLETIN DE L'ACADÉMIE POLONATSE DES SCIENCES Série des sciences math., astr. et phys.-Vol. XXII, No. 4, 1974 D GUASPARI Bulletin: Série des sciences mathématiques, astronomiques et physiques 22, 357, 1974 | | 1974 |
ANALYTICAL WELLFOUNDED RELATIONS D GUASPARI JOURNAL OF SYMBOLIC LOGIC 39 (2), 413-413, 1974 | | 1974 |
LARGEST CONSTRUCTIBLE PI-1 SET-PRELIMINARY REPORT D GUASPARI NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 20 (5), A501-A502, 1973 | | 1973 |
NOTE ON KONDO-ADDISON THEOREM D GUASPARI NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 20 (6), A589-A589, 1973 | | 1973 |