Artemov, S. (ed.); Baaz, M. (ed.); Friedman, H. (ed.) Special issue: Kurt Gödel Centenary Research Prize Fellowships. (English) Zbl 1157.03301 Ann. Pure Appl. Logic 157, No. 2-3, 63-296 (2009). MSC: 03-06 00B15 PDFBibTeX XML
Friedman, Harvey M. What is o-minimality? (English) Zbl 1155.03021 Ann. Pure Appl. Logic 156, No. 1, 59-67 (2008). Reviewer: Roman Kossak (New York) MSC: 03C64 06F25 12J15 26E99 PDFBibTeX XMLCite \textit{H. M. Friedman}, Ann. Pure Appl. Logic 156, No. 1, 59--67 (2008; Zbl 1155.03021) Full Text: DOI
Friedman, Harvey M. Subtle cardinals and linear orderings. (English) Zbl 0966.03048 Ann. Pure Appl. Logic 107, No. 1-3, 1-34 (2001). Reviewer: J.M.Plotkin (East Lansing) MSC: 03E55 03E05 PDFBibTeX XMLCite \textit{H. M. Friedman}, Ann. Pure Appl. Logic 107, No. 1--3, 1--34 (2001; Zbl 0966.03048) Full Text: DOI
Friedman, Harvey; Sheard, Michael Elementary descent recursion and proof theory. (English) Zbl 0821.03027 Ann. Pure Appl. Logic 71, No. 1, 1-45 (1995). Reviewer: G.Mints (Stanford) MSC: 03F03 03F30 03F15 03D20 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{M. Sheard}, Ann. Pure Appl. Logic 71, No. 1, 1--45 (1995; Zbl 0821.03027) Full Text: DOI
Friedman, Harvey; Simpson, Stephen G.; Yu, Xiaokang Periodic points and subsystems of second-order arithmetic. (English) Zbl 0781.03048 Ann. Pure Appl. Logic 62, No. 1, 51-64 (1993). Reviewer: R.Murawski (Poznań) MSC: 03F35 PDFBibTeX XMLCite \textit{H. Friedman} et al., Ann. Pure Appl. Logic 62, No. 1, 51--64 (1993; Zbl 0781.03048) Full Text: DOI
Friedman, Harvey M.; Hirst, Jeffry L. Reverse mathematics and homeomorphic embeddings. (English) Zbl 0746.03048 Ann. Pure Appl. Logic 54, No. 3, 229-253 (1991). MSC: 03F35 54E35 PDFBibTeX XMLCite \textit{H. M. Friedman} and \textit{J. L. Hirst}, Ann. Pure Appl. Logic 54, No. 3, 229--253 (1991; Zbl 0746.03048) Full Text: DOI
Friedman, Harvey M.; Hirst, Jeffry L. Weak comparability of well orderings and reverse mathematics. (English) Zbl 0706.03044 Ann. Pure Appl. Logic 47, No. 1, 11-29 (1990). Reviewer: H.Pfeiffer MSC: 03F35 PDFBibTeX XMLCite \textit{H. M. Friedman} and \textit{J. L. Hirst}, Ann. Pure Appl. Logic 47, No. 1, 11--29 (1990; Zbl 0706.03044) Full Text: DOI
Friedman, Harvey; Sheard, Michael The disjunction and existence properties for axiomatic systems of truth. (English) Zbl 0669.03026 Ann. Pure Appl. Logic 40, No. 1, 1-10 (1988). Reviewer: M.Yasuhara MSC: 03F30 03B30 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{M. Sheard}, Ann. Pure Appl. Logic 40, No. 1, 1--10 (1988; Zbl 0669.03026) Full Text: DOI
Friedman, Harvey; Sheard, Michael An axiomatic approach to self-referential truth. (English) Zbl 0634.03058 Ann. Pure Appl. Logic 33, 1-21 (1987). Reviewer: M.Yasuhara MSC: 03F25 03F30 03B30 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{M. Sheard}, Ann. Pure Appl. Logic 33, 1--21 (1987; Zbl 0634.03058) Full Text: DOI
Freyd, Peter; Friedman, Harvey; Scedrov, Andre Lindenbaum algebras of intuitionistic theories and free categories. (English) Zbl 0624.03045 Ann. Pure Appl. Logic 35, 167-172 (1987). Reviewer: G.Mints MSC: 03F55 03G30 PDFBibTeX XMLCite \textit{P. Freyd} et al., Ann. Pure Appl. Logic 35, 167--172 (1987; Zbl 0624.03045) Full Text: DOI
Flagg, R. C.; Friedman, H. Maximality in modal logic. (English) Zbl 0624.03013 Ann. Pure Appl. Logic 34, 99-118 (1987). Reviewer: G.Mints MSC: 03B45 PDFBibTeX XMLCite \textit{R. C. Flagg} and \textit{H. Friedman}, Ann. Pure Appl. Logic 34, 99--118 (1987; Zbl 0624.03013) Full Text: DOI
Flagg, R. C.; Friedman, H. Epistemic and intuitionistic formal systems. (English) Zbl 0626.03050 Ann. Pure Appl. Logic 32, 53-60 (1986). MSC: 03F50 03B45 PDFBibTeX XMLCite \textit{R. C. Flagg} and \textit{H. Friedman}, Ann. Pure Appl. Logic 32, 53--60 (1986; Zbl 0626.03050) Full Text: DOI
Friedman, Harvey M.; Scedrov, Andre Intuitionistically provable recursive well-orderings. (English) Zbl 0615.03046 Ann. Pure Appl. Logic 30, 165-171 (1986). Reviewer: G.Kreisel MSC: 03F55 03F30 PDFBibTeX XMLCite \textit{H. M. Friedman} and \textit{A. Scedrov}, Ann. Pure Appl. Logic 30, 165--171 (1986; Zbl 0615.03046) Full Text: DOI
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. Addendum to “Countable algebra and set existence axioms”. (English) Zbl 0575.03039 Ann. Pure Appl. Logic 28, 319-320 (1985). Reviewer: G.Fuhrken MSC: 03F35 03E30 03B30 PDFBibTeX XMLCite \textit{H. M. Friedman} et al., Ann. Pure Appl. Logic 28, 319--320 (1985; Zbl 0575.03039) Full Text: DOI
Friedman, Harvey; Ščedrov, Andrej Large sets in intuitionistic set theory. (English) Zbl 0544.03031 Ann. Pure Appl. Logic 27, 1-24 (1984). MSC: 03F50 PDFBibTeX XMLCite \textit{H. Friedman} and \textit{A. Ščedrov}, Ann. Pure Appl. Logic 27, 1--24 (1984; Zbl 0544.03031) Full Text: DOI
Friedman, H. M.; Ščedrov, A. Corrigendum to “Set existence property for intuitionistic theories with dependent choice”. (English) Zbl 0539.03040 Ann. Pure Appl. Logic 26, 101 (1984). MSC: 03F50 PDFBibTeX XMLCite \textit{H. M. Friedman} and \textit{A. Ščedrov}, Ann. Pure Appl. Logic 26, 101 (1984; Zbl 0539.03040) Full Text: DOI
Friedman, Harvey M.; Simpson, Stephen G.; Smith, Rick L. Countable algebra and set existence axioms. (English) Zbl 0575.03038 Ann. Pure Appl. Logic 25, 141-181 (1983). Reviewer: G.Fuhrken MSC: 03F35 03E30 03B30 03A05 PDFBibTeX XMLCite \textit{H. M. Friedman} et al., Ann. Pure Appl. Logic 25, 141--181 (1983; Zbl 0575.03038) Full Text: DOI
Friedman, Harvey M.; Ščedrov, Andrej Set existence property for intuitionistic theories with dependent choice. (English) Zbl 0539.03039 Ann. Pure Appl. Logic 25, 129-140 (1983). MSC: 03F50 PDFBibTeX XMLCite \textit{H. M. Friedman} and \textit{A. Ščedrov}, Ann. Pure Appl. Logic 25, 129--140 (1983; Zbl 0539.03039) Full Text: DOI