Cheng, Yong Current research on Gödel’s incompleteness theorems. (English) Zbl 1497.03067 Bull. Symb. Log. 27, No. 2, 113-167 (2021). Reviewer: Saeed Salehi (Tabriz) MSC: 03F40 03F30 03-02 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Kanamori, Akihiro In praise of replacement. (English) Zbl 1258.03001 Bull. Symb. Log. 18, No. 1, 46-90 (2012). Reviewer: Siegfried J. Gottwald (Leipzig) MSC: 03-03 01A55 01A60 03E30 × Cite Format Result Cite Review PDF Full Text: DOI Euclid Link
Feferman, Solomon In memoriam: Kenneth Jon Barwise, 1942–2000. (English) Zbl 0972.01040 Bull. Symb. Log. 6, No. 4, 505-508 (2000). MSC: 01A70 03-03 × Cite Format Result Cite Review PDF Full Text: DOI Link
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. Does mathematics need new axioms? (English) Zbl 0977.03002 Bull. Symb. Log. 6, No. 4, 401-446 (2000). Reviewer: Elliott Mendelson (Flushing) MSC: 03A05 00A30 03E55 03E99 × Cite Format Result Cite Review PDF Full Text: DOI Link
Hjorth, Greg An absoluteness principle for Borel sets. (English) Zbl 0909.03042 J. Symb. Log. 63, No. 2, 663-693 (1998). Reviewer: Miroslav Repický (Košice) MSC: 03E15 03E40 03E60 03E35 × Cite Format Result Cite Review PDF Full Text: DOI
Dehornoy, Patrick Another use of set theory. (English) Zbl 0932.03068 Bull. Symb. Log. 2, No. 4, 379-391 (1996). Reviewer: Miroslav Repicky (MR 98g:03125) MSC: 03E75 00A30 00A35 × Cite Format Result Cite Review PDF Full Text: DOI Link
Kanamori, Akihiro Regressive partition relations, \(n\)-subtle cardinals, and Borel diagonalization. (English) Zbl 0745.03038 Ann. Pure Appl. Logic 52, No. 1-2, 65-77 (1991). Reviewer: E.Coplakova (Delft) MSC: 03E05 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Lewis, Alain A. A game-theoretic equivalence to the Hahn-Banach theorem. (English) Zbl 0719.90104 Math. Soc. Sci. 20, No. 3, 199-214 (1990). MSC: 91A15 46A22 × Cite Format Result Cite Review PDF Full Text: DOI
Lewis, Alain A. On the independence of core-equivalence results from Zermelo-Fraenkel set theory. (English) Zbl 0688.03032 Math. Soc. Sci. 19, No. 1, 55-95 (1990). MSC: 03E35 91A40 91B14 91B50 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Kanamori, Akihiro Regressive partitions and Borel diagonalization. (English) Zbl 0704.03031 J. Symb. Log. 54, No. 2, 540-552 (1989). Reviewer: Péter Komjáth (Budapest) MSC: 03E15 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Friedman, Harvey; Stanley, Lee A Borel reducibility theory for classes of countable structures. (English) Zbl 0692.03022 J. Symb. Log. 54, No. 3, 894-914 (1989). Reviewer: J.Flum MSC: 03C15 03C75 03D55 03E15 × Cite Format Result Cite Review PDF Full Text: DOI
Hajnal, András; Kanamori, Akihiro; Shelah, Saharon Regressive partition relations for infinite cardinals. (English) Zbl 0627.03031 Trans. Am. Math. Soc. 299, 145-154 (1987). Reviewer: N.H.Williams MSC: 03E05 03E55 × Cite Format Result Cite Review PDF Full Text: DOI
Friedman, Harvey Necessary uses of abstract set theory in finite mathematics. (English) Zbl 0613.03028 Adv. Math. 60, 92-122 (1986). Reviewer: R.David MSC: 03F30 03E55 03C62 03E35 × Cite Format Result Cite Review PDF Full Text: DOI