Edit Profile (opens in new tab) Feferman, Solomon Compute Distance To: Compute Author ID: feferman.solomon Published as: Feferman, Solomon; Feferman, S. External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef Documents Indexed: 130 Publications since 1957, including 7 Books 16 Contributions as Editor · 13 Further Contributions Biographic References: 7 Publications Co-Authors: 37 Co-Authors with 41 Joint Publications 908 Co-Co-Authors all top 5 Co-Authors 107 single-authored 11 Gödel, Kurt 7 Parsons, Charles D. 7 Sieg, Wilfried 6 Barwise, Kenneth Jon 6 Simpson, Stephen G. 5 Burdman Feferman, Anita 5 Jäger, Gerhard 4 Dawson, John W. jun. 4 Eklof, Paul C. 4 Goldfarb, Warren D. 4 Keisler, Howard Jerome 3 Barendregt, Hendrik Pieter 3 Davis, Martin David 3 Gandy, Robin O. 3 Kechris, Alexander S. 3 Kreisel, Georg 3 Shore, Richard Arnold 3 Statman, Richard 3 Turing, Alan Mathison 2 Baldwin, John T. 2 Baudisch, Andreas 2 Burgess, John P. 2 Devlin, Keith J. 2 Dickmann, Max A. 2 Ebbinghaus, Heinz-Dieter 2 Enderton, Herbert B. 2 Flum, Jörg 2 Fourman, Michael Paul 2 Harrington, Leo A. 2 Hellman, Geoffrey 2 Horty, John F. 2 Jech, Thomas J. 2 Juhász, István 2 Kaufmann, Matt 2 Kock, Anders 2 Kolaitis, Phokion G. 2 Kunen, Kenneth 2 Lifschitz, Vladimir 2 Macintyre, Angus John 2 Makkai, Michael 2 Makowsky, Johann-Andreas 2 Martin, Donald A. 2 McCarty, David Charles 2 Morley, Michael Darwin 2 Moschovakis, Yiannis Nicholas 2 Mundici, Daniele 2 Nadel, Mark E. 2 Paris, Jeffrey Bruce 2 Pohlers, Wolfram 2 Rabin, Michael O. 2 Reyes, Gonzalo E. 2 Rudin, Mary Ellen 2 Schmerl, James H. 2 Schwichtenberg, Helmut 2 Seese, Detlef G. 2 Shönfield, Joseph R. 2 Smoryński, Craig 2 Spector, Clifford 2 Steinhorn, Charles I. 2 Strahm, Thomas 2 Stroyan, Keith D. 2 Troelstra, Anne Sjerp 2 Tuschik, Hans-Peter 2 Väänänen, Jouko Antero 2 Visser, Albert 2 Weese, Martin 2 Ziegler, Martin 1 Appel, Andrew W. 1 Artemov, Sergei 1 Avigad, Jeremy 1 Bergstra, Jan A. 1 Blum, Lenore 1 Böhm, Corrado 1 Boolos, George S. 1 Buchholz, Wilfried 1 Bunder, Martin W. 1 Burge, Tyler 1 Church, Alonzo 1 Cohen, Paul Joseph 1 Coppo, Mario 1 de Bruijn, Nicolaas Govert 1 Dezani-Ciancaglini, Mariangiola 1 Diller, Justus 1 Dummett, Michael Anthony Eardley 1 Ehrenfeucht, Andrzej 1 Engeler, Erwin 1 Fenstad, Jens Erik 1 Fitch, Frederic Brenton 1 Friedman, Harvey M. 1 Friedman, Sy-David 1 Gaal, Lisl 1 Gale, David 1 Gilmore, Paul C. 1 Gupta, Anil Kumar 1 Henkin, Leon Albert 1 Herzberger, Hans G. 1 Hindley, J. Roger 1 Howard, William Alvin 1 Hyland, J. Martin E. 1 Kearns, John T. ...and 42 more Co-Authors all top 5 Serials 9 The Journal of Symbolic Logic 6 Annals of Pure and Applied Logic 5 Fundamenta Mathematicae 4 The Bulletin of Symbolic Logic 4 Studies in Logic and the Foundations of Mathematics 3 Synthese 3 Notices of the American Mathematical Society 3 The Review of Symbolic Logic 2 Archiv für Mathematische Logik und Grundlagenforschung 2 Compositio Mathematica 2 Journal of Philosophical Logic 2 Notre Dame Journal of Formal Logic 2 Bulletin of the American Mathematical Society 2 Lecture Notes in Logic 2 Perspectives in Mathematical Logic 1 American Mathematical Monthly 1 The Mathematical Intelligencer 1 Revista Colombiana de Matemáticas 1 Transactions of the American Mathematical Society 1 Boletim da Sociedade Portuguesa de Matemática 1 Information and Computation 1 Modern Logic 1 MSCS. Mathematical Structures in Computer Science 1 Philosophia Mathematica. Series III 1 Erkenntnis 1 Lecture Notes in Mathematics 1 Logica Universalis 1 Logical Methods in Computer Science 1 Philosophia Scientiae 1 Tributes 1 Outstanding Contributions to Logic 1 The Journal of Philosophy 1 Perspectives in Logic 1 Logic and Computation in Philosophy all top 5 Fields 122 Mathematical logic and foundations (03-XX) 49 History and biography (01-XX) 17 General and overarching topics; collections (00-XX) 10 Computer science (68-XX) 7 Category theory; homological algebra (18-XX) 2 General topology (54-XX) 1 Field theory and polynomials (12-XX) 1 Group theory and generalizations (20-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 124 Publications have been cited 1,638 times in 1,033 Documents Cited by ▼ Year ▼ The first order properties of products of algebraic systems. Zbl 0088.24803Feferman, S.; Vaught, R. L. 151 1959 Arithmetization of metamathematics in a general setting. Zbl 0095.24301Feferman, S. 97 1960 Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried 92 1981 Systems of predicative analysis. Zbl 0134.01101Feferman, S. 85 1964 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 64 1987 Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053Avigad, Jeremy; Feferman, Solomon 63 1998 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 62 1991 Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402Feferman, S. 58 1963 Some applications of the notions of forcing and generic sets. Zbl 0129.26401Feferman, S. 52 1965 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 46 1984 Systems of predicative analysis. II: Representations of ordinals. Zbl 0162.02201Feferman, S. 37 1968 A language and axioms for explicit mathematics. Zbl 0357.02029Feferman, Solomon 29 1975 Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002Feferman, Solomon 27 1988 Recent essays on truth and the liar paradox. Zbl 0623.03001 26 1984 Constructive theories of functions and classes. Zbl 0441.03022Feferman, Solomon 21 1979 Systems of explicit mathematics with non-constructive \(\mu\)-operator. I. Zbl 0794.03074Feferman, Solomon; Jäger, Gerhard 20 1993 Two notes on abstract model theory. I: Properties invariant on the range of definable relations between structures. Zbl 0296.02026Feferman, Solomon 20 1974 Iterated inductive fixed-point theories: Application to Hancock’s conjecture. Zbl 0522.03045Feferman, Solomon 19 1982 Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038Feferman, S.; Kreisel, Georg 19 1966 In the light of logic. Zbl 0918.01044Feferman, Solomon 18 1998 Systems of explicit mathematics with non-constructive \(\mu\)-operator. II. Zbl 0868.03026Feferman, Solomon; Jäger, Gerhard 17 1996 Logic, logics, and logicism. Zbl 0972.03005Feferman, Solomon 17 1999 Alfred Tarski. Life and logic. Zbl 1062.03002Feferman, Anita Burdman; Feferman, Solomon 17 2004 Incompleteness along paths in progressions of theories. Zbl 0117.25701Feferman, S.; Spector, C. 17 1963 Persistent and invariant formulas for outer extensions. Zbl 0162.01601Feferman, S. 17 1968 Does mathematics need new axioms? Zbl 0977.03002Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. 16 2000 Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Zbl 0218.02024Feferman, S. 16 1970 Operational set theory and small large cardinals. Zbl 1183.03044Feferman, Solomon 15 2009 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023Gödel, Kurt 15 1990 Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035Gödel, Kurt 15 1986 The unfolding of non-finitist arithmetic. Zbl 0959.03048Feferman, Solomon; Strahm, Thomas 14 2000 Does mathematics need new axioms? Zbl 1076.00501Feferman, Solomon 13 1999 Lectures on proof theory. Zbl 0248.02033Feferman, Solomon 12 1968 Gödel’s program for new axioms: Why, where, how and what? Zbl 0857.03034Feferman, Solomon 11 1996 Logics for termination and correctness of functional programs. Zbl 0754.03018Feferman, Solomon 11 1992 Set-theoretical invariance criteria for logicality. Zbl 1197.03035Feferman, Solomon 11 2010 In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040Feferman, Solomon 10 2000 Does reductive proof theory have a viable rationale? Zbl 0971.03058Feferman, Solomon 10 2000 Degrees of unsolvability associated with classes of formalized theories. Zbl 0078.00603Feferman, Solomon 10 1957 Classifications of recursive functions by means of hierarchies. Zbl 0106.00602Feferman, Solomon 10 1962 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Representability of recursively enumerable sets in formal theories. Zbl 0118.25102Ehrenfeucht, A.; Feferman, S. 9 1961 Axioms for determinateness and truth. Zbl 1204.03007Feferman, Solomon 9 2008 A theory of variable types. Zbl 0615.03045Feferman, Solomon 8 1985 Polymorphic typed lambda-calculi in a type-free axiomatic framework. Zbl 0701.03007Feferman, Solomon 8 1990 Logics for termination and correctness of functional programs. II: Logics of strength PRA. Zbl 0790.03029Feferman, Solomon 8 1992 Applications of many-sorted interpolation theorems. Zbl 0311.02060Feferman, Solomon 8 1974 Predicative foundations of arithmetic. Zbl 0816.03030Feferman, Solomon; Hellman, Geoffrey 7 1995 Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. Zbl 0525.03038Feferman, S.; Jaeger, G. 7 1983 Categorical foundations and foundations of category theory. Zbl 0401.18001Feferman, Solomon 7 1977 Mathematical intuition vs. mathematical monsters. Zbl 1001.03012Feferman, Solomon 7 2000 Set-theoretical foundations of category theory. Zbl 0213.03001Feferman, S. 7 1969 Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027Feferman, Solomon 6 2008 Two notes on abstract model theory. II: Languages for which the set of valid sentences is semi-invariantly implicitly definable. Zbl 0335.02034Feferman, Solomon 6 1975 And so on …: reasoning with infinite diagrams. Zbl 1274.00016Feferman, Solomon 6 2012 Unfolding finitist arithmetic. Zbl 1232.03053Feferman, Solomon; Strahm, Thomas 6 2010 Monotone inductive definitions. Zbl 0525.03037Feferman, Solomon 5 1982 A new approach to abstract data types. II: Computation on ADTs as ordinary computation. Zbl 0819.68078Feferman, S. 5 1992 Finitary inductively presented logics. Zbl 0823.03032Feferman, Solomon 4 1994 Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038Goedel, Kurt 4 1995 What does logic have to tell us about mathematical proofs? Zbl 0426.03011Feferman, Solomon 4 1979 Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010Feferman, Solomon 4 1979 The significance of Weyl’s Das Kontinuum. Zbl 1012.03005Feferman, Solomon 4 2002 Relationships between constructive, predicative and classical systems of analysis. Zbl 1017.03036Feferman, Solomon 4 2002 A fortuitous year with Leon Henkin. Zbl 1326.03004Feferman, Solomon 4 2014 Gödel’s Dialectica interpretation and its two-way stretch. Zbl 0815.03036Feferman, Solomon 4 1993 Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009Feferman, Solomon 4 2004 Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005Feferman, Solomon 4 2013 Predicatively reducible systems of set theory. Zbl 0312.02051Feferman, Solomon 4 1974 Autonomous transfinite progressions and the extent of predicative mathematics. Zbl 0198.32302Feferman, S. 4 1968 Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018Feferman, Solomon 4 1972 The number systems. Foundations of algebra and analysis. Zbl 0117.25803Feferman, S. 4 1964 Predicative provability in set theory. Zbl 0148.25403Feferman, S. 4 1966 Turing in the land of O(z). Zbl 0663.01008Feferman, Solomon 3 1988 Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015Gödel, Kurt 3 2001 The Gödel editorial project: a synopsis. Zbl 1089.03003Feferman, Solomon 3 2005 A new approach to abstract data types. I: Informal development. Zbl 0825.68456Feferman, Solomon 3 1992 The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003Feferman, Solomon 3 2010 Recursion in total functionals of finite type. Zbl 0365.02030Feferman, Solomon 3 1977 Tarski’s influence on computer science. Zbl 1126.03005Feferman, Solomon 3 2006 Kreisel’s “unwinding” program. Zbl 0889.03045Feferman, Solomon 3 1996 Tarski’s conception of logic. Zbl 1055.03003Feferman, Solomon 3 2004 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 Kurt Gödel. Essays for his centennial. Zbl 1196.03006 3 2010 1-consistency and faithful interpretations. Zbl 0122.24502Feferman, S.; Kreisel, Georg; Orey, S. 3 1962 Finitary inductively presented logics. Zbl 0682.03031Feferman, Solomon 3 1989 Enriched stratified systems for the foundations of category theory. Zbl 1148.18302Feferman, Solomon 3 2006 Intensionality in mathematics. Zbl 0558.03002Feferman, Solomon 2 1985 Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005 2 2017 Computation on abstract data types. The extensional approach, with an application to streams. Zbl 0858.03048Feferman, Solomon 2 1996 Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104Gödel, Kurt 2 2001 Challenges to predicative foundations of arithmetic. Zbl 0991.03052Feferman, Solomon; Hellman, Geoffrey 2 2000 Tarski and Gödel: Between the lines. Zbl 0973.01031Feferman, Solomon 2 1999 Between constructive and classical mathematics. Zbl 0578.03031Feferman, Solomon 2 1984 Axiomatizing truth: why and how? Zbl 1315.03003Feferman, Solomon 2 2012 On the strength of some semi-constructive theories. Zbl 1315.03115Feferman, Solomon 2 2012 Turing’s thesis. Zbl 1142.03300Feferman, Solomon 2 2006 Ordinals and functionals in proof theory. Zbl 0244.02010Feferman, Solomon 2 1971 Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005 2 2017 Model-theoretic logics. New edition of the 1985 original published by Springer. Zbl 1390.03002 2 2016 Which quantifiers are logical? A combined semantical and inferential criterion. Zbl 1437.03020Feferman, Solomon 1 2015 A fortuitous year with Leon Henkin. Zbl 1326.03004Feferman, Solomon 4 2014 Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005Feferman, Solomon 4 2013 Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Zbl 1278.03019 1 2013 And so on …: reasoning with infinite diagrams. Zbl 1274.00016Feferman, Solomon 6 2012 Axiomatizing truth: why and how? Zbl 1315.03003Feferman, Solomon 2 2012 On the strength of some semi-constructive theories. Zbl 1315.03115Feferman, Solomon 2 2012 Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert’s program. Zbl 1311.01020Feferman, Solomon 1 2011 Set-theoretical invariance criteria for logicality. Zbl 1197.03035Feferman, Solomon 11 2010 Unfolding finitist arithmetic. Zbl 1232.03053Feferman, Solomon; Strahm, Thomas 6 2010 The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003Feferman, Solomon 3 2010 Kurt Gödel. Essays for his centennial. Zbl 1196.03006 3 2010 Proofs, categories and computations. Essays in honor of Grigori Mints. With the collaboration of Vladik Kreinovich, Vladimir Lifschitz, and Ruy de Queiroz. Zbl 1203.03007 1 2010 On the strength of some semi-constructive theories. Zbl 1244.03166Feferman, Solomon 1 2010 Operational set theory and small large cardinals. Zbl 1183.03044Feferman, Solomon 15 2009 Axioms for determinateness and truth. Zbl 1204.03007Feferman, Solomon 9 2008 Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027Feferman, Solomon 6 2008 Andrzej Mostowski: an appreciation. Zbl 1148.01308Feferman, Solomon 1 2008 Tarski’s influence on computer science. Zbl 1126.03005Feferman, Solomon 3 2006 Enriched stratified systems for the foundations of category theory. Zbl 1148.18302Feferman, Solomon 3 2006 Turing’s thesis. Zbl 1142.03300Feferman, Solomon 2 2006 Are there absolutely unsolvable problems? Gödel’s dichotomy. Zbl 1113.03008Feferman, Solomon 2 2006 The impact of the incompleteness theorem on mathematics. Zbl 1100.03004Feferman, Solomon 1 2006 The Gödel editorial project: a synopsis. Zbl 1089.03003Feferman, Solomon 3 2005 Alfred Tarski. Life and logic. Zbl 1062.03002Feferman, Anita Burdman; Feferman, Solomon 17 2004 Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009Feferman, Solomon 4 2004 Tarski’s conception of logic. Zbl 1055.03003Feferman, Solomon 3 2004 Collected works. Vol. IV: Correspondence, A–G. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01019Gödel, Kurt 1 2003 Collected works. Vol. V: Correspondence, H–Z. Edited by Solomon Feferman, John W. Dawson jun., Warren Goldfarb, Charles Parsons and Wilfried Sieg. Zbl 1026.01020Gödel, Kurt 1 2003 The significance of Weyl’s Das Kontinuum. Zbl 1012.03005Feferman, Solomon 4 2002 Relationships between constructive, predicative and classical systems of analysis. Zbl 1017.03036Feferman, Solomon 4 2002 Highlights in proof theory. Zbl 1013.03068Feferman, Solomon 1 2002 Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015Gödel, Kurt 3 2001 Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104Gödel, Kurt 2 2001 Collected works of A. M. Turing. Mathematical logic. Edited by R. O. Gandy and C. E. M. Yates. Including prefaces by Solomon Feferman. Zbl 0986.01023Turing, A. M. 1 2001 Does mathematics need new axioms? Zbl 0977.03002Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R. 16 2000 The unfolding of non-finitist arithmetic. Zbl 0959.03048Feferman, Solomon; Strahm, Thomas 14 2000 In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040Feferman, Solomon 10 2000 Does reductive proof theory have a viable rationale? Zbl 0971.03058Feferman, Solomon 10 2000 Mathematical intuition vs. mathematical monsters. Zbl 1001.03012Feferman, Solomon 7 2000 Challenges to predicative foundations of arithmetic. Zbl 0991.03052Feferman, Solomon; Hellman, Geoffrey 2 2000 Logic, logics, and logicism. Zbl 0972.03005Feferman, Solomon 17 1999 Does mathematics need new axioms? Zbl 1076.00501Feferman, Solomon 13 1999 Tarski and Gödel: Between the lines. Zbl 0973.01031Feferman, Solomon 2 1999 Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053Avigad, Jeremy; Feferman, Solomon 63 1998 In the light of logic. Zbl 0918.01044Feferman, Solomon 18 1998 Systems of explicit mathematics with non-constructive \(\mu\)-operator. II. Zbl 0868.03026Feferman, Solomon; Jäger, Gerhard 17 1996 Gödel’s program for new axioms: Why, where, how and what? Zbl 0857.03034Feferman, Solomon 11 1996 Kreisel’s “unwinding” program. Zbl 0889.03045Feferman, Solomon 3 1996 Computation on abstract data types. The extensional approach, with an application to streams. Zbl 0858.03048Feferman, Solomon 2 1996 Predicative foundations of arithmetic. Zbl 0816.03030Feferman, Solomon; Hellman, Geoffrey 7 1995 Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038Goedel, Kurt 4 1995 Finitary inductively presented logics. Zbl 0823.03032Feferman, Solomon 4 1994 Systems of explicit mathematics with non-constructive \(\mu\)-operator. I. Zbl 0794.03074Feferman, Solomon; Jäger, Gerhard 20 1993 Gödel’s Dialectica interpretation and its two-way stretch. Zbl 0815.03036Feferman, Solomon 4 1993 Logics for termination and correctness of functional programs. Zbl 0754.03018Feferman, Solomon 11 1992 Logics for termination and correctness of functional programs. II: Logics of strength PRA. Zbl 0790.03029Feferman, Solomon 8 1992 A new approach to abstract data types. II: Computation on ADTs as ordinary computation. Zbl 0819.68078Feferman, S. 5 1992 A new approach to abstract data types. I: Informal development. Zbl 0825.68456Feferman, Solomon 3 1992 Jean van Heijenoort (1912-1986). Zbl 0755.01026Burdman Feferman, Anita; Feferman, Solomon 1 1992 Reflecting on incompleteness. Zbl 0746.03046Feferman, Solomon 62 1991 Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023Gödel, Kurt 15 1990 Polymorphic typed lambda-calculi in a type-free axiomatic framework. Zbl 0701.03007Feferman, Solomon 8 1990 Finitary inductively presented logics. Zbl 0682.03031Feferman, Solomon 3 1989 The number systems. Foundations of algebra and analysis. 2nd ed. Zbl 0674.00001Feferman, Solomon 1 1989 Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002Feferman, Solomon 27 1988 Turing in the land of O(z). Zbl 0663.01008Feferman, Solomon 3 1988 Proof theory. 2nd ed. Zbl 0609.03019Takeuti, Gaisi 64 1987 Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035Gödel, Kurt 15 1986 Model-theoretic logics. (Parts A-C). Zbl 0587.03001 65 1985 A theory of variable types. Zbl 0615.03045Feferman, Solomon 8 1985 Model-theoretic logics. (Parts D-F). Zbl 0587.03002 3 1985 Intensionality in mathematics. Zbl 0558.03002Feferman, Solomon 2 1985 Julia Bowman Robinson 1919-1985. Zbl 0571.01026Henkin, L.; Lehmer, D. H.; Lehmer, Emma; Scott, E.; Kelley, J.; Gaal, L.; Gale, D.; Davis, M.; MacLane, S.; Niven, I.; Pitcher, E.; Blum, L.; Feferman, S. 1 1985 Toward useful type-free theories. I. Zbl 0574.03043Feferman, Solomon 46 1984 Recent essays on truth and the liar paradox. Zbl 0623.03001 26 1984 Between constructive and classical mathematics. Zbl 0578.03031Feferman, Solomon 2 1984 Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. Zbl 0525.03038Feferman, S.; Jaeger, G. 7 1983 Iterated inductive fixed-point theories: Application to Hancock’s conjecture. Zbl 0522.03045Feferman, Solomon 19 1982 Monotone inductive definitions. Zbl 0525.03037Feferman, Solomon 5 1982 Inductively presented systems and the formalization of meta-mathematics. Zbl 0516.03006Feferman, Solomon 1 1982 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis and A. S. Troelstra. Reprint. Zbl 0528.03001 1 1982 Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried 92 1981 To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006 15 1980 Constructive theories of functions and classes. Zbl 0441.03022Feferman, Solomon 21 1979 What does logic have to tell us about mathematical proofs? Zbl 0426.03011Feferman, Solomon 4 1979 Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010Feferman, Solomon 4 1979 Handbook of mathematical logic. With the cooperation of H. J. Keisler, K. Kunen, Y. N. Moschovakis, A. S. Troelstra. 2nd printing. Zbl 0443.03001 9 1978 Categorical foundations and foundations of category theory. Zbl 0401.18001Feferman, Solomon 7 1977 Recursion in total functionals of finite type. Zbl 0365.02030Feferman, Solomon 3 1977 Inductive schemata and recursively continuous functionals. Zbl 0422.03023Feferman, Solomon 1 1977 A language and axioms for explicit mathematics. Zbl 0357.02029Feferman, Solomon 29 1975 Two notes on abstract model theory. II: Languages for which the set of valid sentences is semi-invariantly implicitly definable. Zbl 0335.02034Feferman, Solomon 6 1975 Non-extensional type-free theories of partial operations and classifications. I. Zbl 0324.02018Feferman, Solomon 1 1975 Two notes on abstract model theory. I: Properties invariant on the range of definable relations between structures. Zbl 0296.02026Feferman, Solomon 20 1974 Applications of many-sorted interpolation theorems. Zbl 0311.02060Feferman, Solomon 8 1974 Predicatively reducible systems of set theory. Zbl 0312.02051Feferman, Solomon 4 1974 Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018Feferman, Solomon 4 1972 ...and 24 more Documents all cited Publications top 5 cited Publications all top 5 Cited by 863 Authors 31 Feferman, Solomon 31 Jäger, Gerhard 25 Rathjen, Michael 20 Strahm, Thomas 16 Sanders, Sam 13 Beklemishev, Lev D. 13 Visser, Albert 11 Kurahashi, Taishi 11 Shelah, Saharon 11 Weiermann, Andreas 10 Maksimova, Larisa L’vovna 9 Ferreira, Fernando 9 Halbach, Volker 9 Kahle, Reinhard 9 Nicolai, Carlo 9 Sieg, Wilfried 8 Kohlenbach, Ulrich Wilhelm 8 Makowsky, Johann-Andreas 8 Oliva, Paulo 8 Rabinovich, Alexander 7 Cantini, Andrea 7 Pohlers, Wolfram 6 Avigad, Jeremy 6 Fernández Duque, David 6 Fujimoto, Kentaro 6 Leigh, Graham Emil 6 Sato, Kentaro 6 Väänänen, Jouko Antero 6 van Benthem, Johan F. A. K. 5 Arai, Toshiyasu 5 Cohen, Liron 5 Doria, Francisco Antonio 5 Joosten, Joost J. 5 Macintyre, Angus John 5 Normann, Dag 5 Simpson, Stephen G. 5 Wainer, Stanley Scott 4 Anellis, Irving H. 4 Avron, Arnon 4 Bonnay, Denis 4 Burris, Stanley N. 4 Crossley, John Newsome 4 Da Costa, Newton Carneiro Affonso 4 Dean, Walter 4 Enayat, Ali 4 Freund, Anton 4 Gilmore, Paul C. 4 Glass, Thomas A. 4 Hernest, Mircea-Dan 4 Horsten, Leon 4 Katz, Mikhail G. 4 Kentaro, Sato 4 Kuncak, Viktor 4 Langer, Alexander 4 Lempp, Steffen 4 Mundici, Daniele 4 Olin, Philip 4 Rantala, Veikko 4 Sacks, Gerald Enoch 4 Schmidt, Diana 4 Scowcroft, Philip 4 Shapiro, Stewart 4 Studer, Thomas 4 Sudoplatov, Sergeĭ Vladimirovich 4 ten Cate, Balder David 4 Towsner, Henry 4 Tupailo, Sergei 4 Westerståhl, Dag 4 Willard, Dan E. 4 Yu, Liang 3 Astier, Vincent 3 Belegradek, Oleg V. 3 Berger, Ulrich 3 Caicedo, Xavier 3 Courcelle, Bruno 3 Downey, Rodney Graham 3 Ferreira, Gilda 3 Field, Hartry H. 3 Friedman, Harvey M. 3 Friedman, Sy-David 3 Fujiwara, Makoto 3 Hájek, Petr 3 Herzberg, Frederik S. 3 Hodges, Wilfrid 3 Kanovei, Vladimir G. 3 Katz, Karin Usadi 3 Keisler, Howard Jerome 3 Kreisel, Georg 3 Maddy, Penelope J. 3 Magari, Roberto 3 Meadows, Toby 3 Mints, Grigoriĭ Efroimovich 3 Montalbán, Antonio 3 Murawski, Roman 3 Németi, István 3 Nies, André Otfrid 3 Perlis, Donald R. 3 Probst, Dieter 3 Rossmanith, Peter 3 Schindler, Thomas ...and 763 more Authors all top 5 Cited in 127 Serials 149 Annals of Pure and Applied Logic 70 The Journal of Symbolic Logic 48 Journal of Philosophical Logic 47 Archive for Mathematical Logic 42 Studia Logica 42 Synthese 39 The Review of Symbolic Logic 38 The Bulletin of Symbolic Logic 29 Notre Dame Journal of Formal Logic 29 Theoretical Computer Science 24 Archiv für Mathematische Logik und Grundlagenforschung 20 Transactions of the American Mathematical Society 18 Information and Computation 17 Logica Universalis 15 Algebra Universalis 13 Mathematical Logic Quarterly (MLQ) 11 Israel Journal of Mathematics 11 Algebra and Logic 10 Siberian Mathematical Journal 9 Journal of Algebra 9 Proceedings of the American Mathematical Society 8 Advances in Mathematics 8 Logical Methods in Computer Science 7 Artificial Intelligence 7 The Mathematical Intelligencer 7 Bulletin of the American Mathematical Society 6 Erkenntnis 5 Mathematical Notes 5 Compositio Mathematica 5 Journal of Computer and System Sciences 5 Theory of Computing Systems 5 Foundations of Science 4 Applied Mathematics and Computation 4 Rendiconti del Seminario Matematico della Università di Padova 4 Journal of Automated Reasoning 4 Journal of Applied Non-Classical Logics 4 Topoi 4 Journal of Mathematical Logic 3 Journal of Soviet Mathematics 3 Indagationes Mathematicae. New Series 3 Journal of Logic, Language and Information 3 Annals of Mathematics and Artificial Intelligence 3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences 3 The Journal of Logic and Algebraic Programming 3 ACM Transactions on Computational Logic 3 Sibirskie Èlektronnye Matematicheskie Izvestiya 2 Acta Informatica 2 Discrete Applied Mathematics 2 Annali di Matematica Pura ed Applicata. Serie Quarta 2 Cahiers de Topologie et Géométrie Différentielle Catégoriques 2 Journal of Pure and Applied Algebra 2 Mathematical Systems Theory 2 Mathematische Zeitschrift 2 Memoirs of the American Mathematical Society 2 Monatshefte für Mathematik 2 Publications of the Research Institute for Mathematical Sciences, Kyoto University 2 Journal of Symbolic Computation 2 Historia Mathematica 2 Bulletin of the American Mathematical Society. New Series 2 Applied Categorical Structures 2 Journal of Mathematical Sciences (New York) 2 Lobachevskii Journal of Mathematics 2 Portugaliae Mathematica. Nova Série 2 Foundations of Physics 2 Oberwolfach Reports 2 Computability 2 Nôus 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Mathematica Academiae Scientiarum Hungaricae 1 American Mathematical Monthly 1 Discrete Mathematics 1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) 1 Letters in Mathematical Physics 1 Mathematische Semesterberichte 1 Periodica Mathematica Hungarica 1 Rocky Mountain Journal of Mathematics 1 Russian Mathematical Surveys 1 Annales Scientifiques de l’Université de Clermont-Ferrand II. Mathématiques 1 Archiv der Mathematik 1 Bulletin de la Société Mathématique de France 1 Fuzzy Sets and Systems 1 Journal of Combinatorial Theory. Series B 1 Journal of Functional Analysis 1 Journal of Mathematical Economics 1 Rendiconti del Seminario Matemàtico e Fisico di Milano 1 Theory and Decision 1 Tohoku Mathematical Journal. Second Series 1 Topology and its Applications 1 Mathematical Social Sciences 1 History and Philosophy of Logic 1 Order 1 Journal of the American Mathematical Society 1 Formal Aspects of Computing 1 JETAI. Journal of Experimental & Theoretical Artificial Intelligence 1 MSCS. Mathematical Structures in Computer Science 1 Artificial Intelligence Review 1 Automation and Remote Control 1 Mémoires de la Société Mathématique de France. Nouvelle Série 1 Bulletin of the Polish Academy of Sciences, Mathematics 1 Formal Methods in System Design ...and 27 more Serials all top 5 Cited in 35 Fields 921 Mathematical logic and foundations (03-XX) 164 Computer science (68-XX) 76 History and biography (01-XX) 61 General and overarching topics; collections (00-XX) 34 Order, lattices, ordered algebraic structures (06-XX) 30 Category theory; homological algebra (18-XX) 28 General algebraic systems (08-XX) 23 Combinatorics (05-XX) 17 Group theory and generalizations (20-XX) 14 General topology (54-XX) 11 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 10 Associative rings and algebras (16-XX) 8 Real functions (26-XX) 6 Number theory (11-XX) 6 Commutative algebra (13-XX) 6 Quantum theory (81-XX) 5 Field theory and polynomials (12-XX) 5 Geometry (51-XX) 4 Measure and integration (28-XX) 3 Dynamical systems and ergodic theory (37-XX) 3 Functional analysis (46-XX) 3 Systems theory; control (93-XX) 3 Mathematics education (97-XX) 2 Algebraic geometry (14-XX) 2 Algebraic topology (55-XX) 2 Relativity and gravitational theory (83-XX) 1 Topological groups, Lie groups (22-XX) 1 Approximations and expansions (41-XX) 1 Abstract harmonic analysis (43-XX) 1 Operator theory (47-XX) 1 Differential geometry (53-XX) 1 Mechanics of particles and systems (70-XX) 1 Fluid mechanics (76-XX) 1 Optics, electromagnetic theory (78-XX) 1 Operations research, mathematical programming (90-XX) Citations by Year Wikidata Timeline The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.