Follow
David Guaspari
David Guaspari
Unknown affiliation
Verified email at cornell.edu
Title
Cited by
Cited by
Year
Rosser sentences
D Guaspari, RM Solovay
Annals of Mathematical Logic 16 (1), 81-99, 1979
1251979
Partially conservative extensions of arithmetic
D Guaspari
Transactions of the American Mathematical Society 254, 47-68, 1979
741979
Sentences implying their own provability
D Guaspari
The Journal of symbolic logic 48 (3), 777-789, 1983
201983
Partially conservative sentences and interpretability
D Guaspari
Transactions of AMS 254, 47-68, 1979
51979
Note on the Kondo-Addison theorem
D Guaspari
The Journal of Symbolic Logic 39 (3), 567-570, 1974
51974
Characterizing 𝐸₃ (the largest countable Π¹₃ set)
D Guaspari, L Harrington
Proceedings of the American Mathematical Society 57 (1), 127-129, 1976
41976
CHARACTERIZING CONSTRUCTIBLE REALS
D Guaspari
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES …, 1974
21974
Analytical Wellorderings in R
D Guaspari
Studies in Logic and the Foundations of Mathematics 80, 317-346, 1975
11975
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
The system can't perform the operation now. Try again later.
Articles 1–15