Feferman, Solomon Theses for computation and recursion on concrete and abstract structures. (English) Zbl 1403.03004 Sommaruga, Giovanni (ed.) et al., Turing’s revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer (ISBN 978-3-319-22155-7/hbk; 978-3-319-22156-4/ebook). 105-126 (2015). MSC: 03-03 03D10 03D75 01A60 PDFBibTeX XMLCite \textit{S. Feferman}, in: Turing's revolution. The impact of his ideas about computability. Cham: Birkhäuser/Springer. 105--126 (2015; Zbl 1403.03004) Full Text: DOI
Feferman, Solomon Operational set theory and small large cardinals. (English) Zbl 1183.03044 Inf. Comput. 207, No. 10, 971-979 (2009). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 03E70 03E55 PDFBibTeX XMLCite \textit{S. Feferman}, Inf. Comput. 207, No. 10, 971--979 (2009; Zbl 1183.03044) Full Text: DOI
Feferman, Solomon; Strahm, Thomas The unfolding of non-finitist arithmetic. (English) Zbl 0959.03048 Ann. Pure Appl. Logic 104, No. 1-3, 75-96 (2000). MSC: 03F30 03F03 03D75 03D65 PDFBibTeX XMLCite \textit{S. Feferman} and \textit{T. Strahm}, Ann. Pure Appl. Logic 104, No. 1--3, 75--96 (2000; Zbl 0959.03048) Full Text: DOI
Feferman, Solomon Computation on abstract data types. The extensional approach, with an application to streams. (English) Zbl 0858.03048 Ann. Pure Appl. Logic 81, No. 1-3, 75-113 (1996). Reviewer: N.Curteanu (Iaşi) MSC: 03D75 68Q65 68W30 PDFBibTeX XMLCite \textit{S. Feferman}, Ann. Pure Appl. Logic 81, No. 1--3, 75--113 (1996; Zbl 0858.03048) Full Text: DOI
Feferman, Solomon A new approach to abstract data types. I: Informal development. (English) Zbl 0825.68456 Math. Struct. Comput. Sci. 2, No. 2, 193-229 (1992). MSC: 68Q65 PDFBibTeX XMLCite \textit{S. Feferman}, Math. Struct. Comput. Sci. 2, No. 2, 193--229 (1992; Zbl 0825.68456) Full Text: DOI
Feferman, Solomon Recursion in total functionals of finite type. (English) Zbl 0365.02030 Compos. Math. 35, 3-22 (1977). MSC: 03D65 03D60 03F15 PDFBibTeX XMLCite \textit{S. Feferman}, Compos. Math. 35, 3--22 (1977; Zbl 0365.02030) Full Text: Numdam EuDML