## Feferman, Solomon

Compute Distance To:
 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)

### 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.24803
Feferman, S.; Vaught, R. L.
1959
Arithmetization of metamathematics in a general setting. Zbl 0095.24301
Feferman, S.
1960
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried
1981
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
1964
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
1985
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
1987
Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053
1998
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
1991
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
1963
Some applications of the notions of forcing and generic sets. Zbl 0129.26401
Feferman, S.
1965
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
1984
Systems of predicative analysis. II: Representations of ordinals. Zbl 0162.02201
Feferman, S.
1968
A language and axioms for explicit mathematics. Zbl 0357.02029
Feferman, Solomon
1975
Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002
Feferman, Solomon
1988
Recent essays on truth and the liar paradox. Zbl 0623.03001
1984
Constructive theories of functions and classes. Zbl 0441.03022
Feferman, Solomon
1979
Systems of explicit mathematics with non-constructive $$\mu$$-operator. I. Zbl 0794.03074
Feferman, Solomon; Jäger, Gerhard
1993
Two notes on abstract model theory. I: Properties invariant on the range of definable relations between structures. Zbl 0296.02026
Feferman, Solomon
1974
Iterated inductive fixed-point theories: Application to Hancock’s conjecture. Zbl 0522.03045
Feferman, Solomon
1982
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg
1966
In the light of logic. Zbl 0918.01044
Feferman, Solomon
1998
Systems of explicit mathematics with non-constructive $$\mu$$-operator. II. Zbl 0868.03026
Feferman, Solomon; Jäger, Gerhard
1996
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
1999
Alfred Tarski. Life and logic. Zbl 1062.03002
Feferman, Anita Burdman; Feferman, Solomon
2004
Incompleteness along paths in progressions of theories. Zbl 0117.25701
Feferman, S.; Spector, C.
1963
Persistent and invariant formulas for outer extensions. Zbl 0162.01601
Feferman, S.
1968
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
2000
Formal theories for transfinite iterations of generalized inductive definitions and some subsystems of analysis. Zbl 0218.02024
Feferman, S.
1970
Operational set theory and small large cardinals. Zbl 1183.03044
Feferman, Solomon
2009
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
1980
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
1986
The unfolding of non-finitist arithmetic. Zbl 0959.03048
Feferman, Solomon; Strahm, Thomas
2000
Does mathematics need new axioms? Zbl 1076.00501
Feferman, Solomon
1999
Lectures on proof theory. Zbl 0248.02033
Feferman, Solomon
1968
Gödel’s program for new axioms: Why, where, how and what? Zbl 0857.03034
Feferman, Solomon
1996
Logics for termination and correctness of functional programs. Zbl 0754.03018
Feferman, Solomon
1992
Set-theoretical invariance criteria for logicality. Zbl 1197.03035
Feferman, Solomon
2010
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
2000
Does reductive proof theory have a viable rationale? Zbl 0971.03058
Feferman, Solomon
2000
Degrees of unsolvability associated with classes of formalized theories. Zbl 0078.00603
Feferman, Solomon
1957
Classifications of recursive functions by means of hierarchies. Zbl 0106.00602
Feferman, Solomon
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
1978
Representability of recursively enumerable sets in formal theories. Zbl 0118.25102
Ehrenfeucht, A.; Feferman, S.
1961
Axioms for determinateness and truth. Zbl 1204.03007
Feferman, Solomon
2008
A theory of variable types. Zbl 0615.03045
Feferman, Solomon
1985
Polymorphic typed lambda-calculi in a type-free axiomatic framework. Zbl 0701.03007
Feferman, Solomon
1990
Logics for termination and correctness of functional programs. II: Logics of strength PRA. Zbl 0790.03029
Feferman, Solomon
1992
Applications of many-sorted interpolation theorems. Zbl 0311.02060
Feferman, Solomon
1974
Predicative foundations of arithmetic. Zbl 0816.03030
Feferman, Solomon; Hellman, Geoffrey
1995
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. Zbl 0525.03038
Feferman, S.; Jaeger, G.
1983
Categorical foundations and foundations of category theory. Zbl 0401.18001
Feferman, Solomon
1977
Mathematical intuition vs. mathematical monsters. Zbl 1001.03012
Feferman, Solomon
2000
Set-theoretical foundations of category theory. Zbl 0213.03001
Feferman, S.
1969
Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027
Feferman, Solomon
2008
Two notes on abstract model theory. II: Languages for which the set of valid sentences is semi-invariantly implicitly definable. Zbl 0335.02034
Feferman, Solomon
1975
And so on …: reasoning with infinite diagrams. Zbl 1274.00016
Feferman, Solomon
2012
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
2010
Monotone inductive definitions. Zbl 0525.03037
Feferman, Solomon
1982
A new approach to abstract data types. II: Computation on ADTs as ordinary computation. Zbl 0819.68078
Feferman, S.
1992
Finitary inductively presented logics. Zbl 0823.03032
Feferman, Solomon
1994
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
1995
What does logic have to tell us about mathematical proofs? Zbl 0426.03011
Feferman, Solomon
1979
Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010
Feferman, Solomon
1979
The significance of Weyl’s Das Kontinuum. Zbl 1012.03005
Feferman, Solomon
2002
Relationships between constructive, predicative and classical systems of analysis. Zbl 1017.03036
Feferman, Solomon
2002
A fortuitous year with Leon Henkin. Zbl 1326.03004
Feferman, Solomon
2014
Gödel’s Dialectica interpretation and its two-way stretch. Zbl 0815.03036
Feferman, Solomon
1993
Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009
Feferman, Solomon
2004
Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005
Feferman, Solomon
2013
Predicatively reducible systems of set theory. Zbl 0312.02051
Feferman, Solomon
1974
Autonomous transfinite progressions and the extent of predicative mathematics. Zbl 0198.32302
Feferman, S.
1968
Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018
Feferman, Solomon
1972
The number systems. Foundations of algebra and analysis. Zbl 0117.25803
Feferman, S.
1964
Predicative provability in set theory. Zbl 0148.25403
Feferman, S.
1966
Turing in the land of O(z). Zbl 0663.01008
Feferman, Solomon
1988
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
2001
The Gödel editorial project: a synopsis. Zbl 1089.03003
Feferman, Solomon
2005
A new approach to abstract data types. I: Informal development. Zbl 0825.68456
Feferman, Solomon
1992
The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003
Feferman, Solomon
2010
Recursion in total functionals of finite type. Zbl 0365.02030
Feferman, Solomon
1977
Tarski’s influence on computer science. Zbl 1126.03005
Feferman, Solomon
2006
Kreisel’s “unwinding” program. Zbl 0889.03045
Feferman, Solomon
1996
Tarski’s conception of logic. Zbl 1055.03003
Feferman, Solomon
2004
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
1985
Kurt Gödel. Essays for his centennial. Zbl 1196.03006
2010
1-consistency and faithful interpretations. Zbl 0122.24502
Feferman, S.; Kreisel, Georg; Orey, S.
1962
Finitary inductively presented logics. Zbl 0682.03031
Feferman, Solomon
1989
Enriched stratified systems for the foundations of category theory. Zbl 1148.18302
Feferman, Solomon
2006
Intensionality in mathematics. Zbl 0558.03002
Feferman, Solomon
1985
Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005
2017
Computation on abstract data types. The extensional approach, with an application to streams. Zbl 0858.03048
Feferman, Solomon
1996
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2001
Challenges to predicative foundations of arithmetic. Zbl 0991.03052
Feferman, Solomon; Hellman, Geoffrey
2000
Tarski and Gödel: Between the lines. Zbl 0973.01031
Feferman, Solomon
1999
Between constructive and classical mathematics. Zbl 0578.03031
Feferman, Solomon
1984
Axiomatizing truth: why and how? Zbl 1315.03003
Feferman, Solomon
2012
On the strength of some semi-constructive theories. Zbl 1315.03115
Feferman, Solomon
2012
Turing’s thesis. Zbl 1142.03300
Feferman, Solomon
2006
Ordinals and functionals in proof theory. Zbl 0244.02010
Feferman, Solomon
1971
Feferman on foundations. Logic, mathematics, philosophy. Zbl 1394.03005
2017
Model-theoretic logics. New edition of the 1985 original published by Springer. Zbl 1390.03002
2016
Which quantifiers are logical? A combined semantical and inferential criterion. Zbl 1437.03020
Feferman, Solomon
2015
A fortuitous year with Leon Henkin. Zbl 1326.03004
Feferman, Solomon
2014
Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005
Feferman, Solomon
2013
Kurt Gödel. Essays for his centennial. Reprint of the 2010 hardback edition. Zbl 1278.03019
2013
And so on …: reasoning with infinite diagrams. Zbl 1274.00016
Feferman, Solomon
2012
Axiomatizing truth: why and how? Zbl 1315.03003
Feferman, Solomon
2012
On the strength of some semi-constructive theories. Zbl 1315.03115
Feferman, Solomon
2012
Lieber Herr Bernays! Lieber Herr Gödel! Gödel on finitism, constructivity, and Hilbert’s program. Zbl 1311.01020
Feferman, Solomon
2011
Set-theoretical invariance criteria for logicality. Zbl 1197.03035
Feferman, Solomon
2010
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
2010
The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003
Feferman, Solomon
2010
Kurt Gödel. Essays for his centennial. Zbl 1196.03006
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
2010
On the strength of some semi-constructive theories. Zbl 1244.03166
Feferman, Solomon
2010
Operational set theory and small large cardinals. Zbl 1183.03044
Feferman, Solomon
2009
Axioms for determinateness and truth. Zbl 1204.03007
Feferman, Solomon
2008
Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027
Feferman, Solomon
2008
Andrzej Mostowski: an appreciation. Zbl 1148.01308
Feferman, Solomon
2008
Tarski’s influence on computer science. Zbl 1126.03005
Feferman, Solomon
2006
Enriched stratified systems for the foundations of category theory. Zbl 1148.18302
Feferman, Solomon
2006
Turing’s thesis. Zbl 1142.03300
Feferman, Solomon
2006
Are there absolutely unsolvable problems? Gödel’s dichotomy. Zbl 1113.03008
Feferman, Solomon
2006
The impact of the incompleteness theorem on mathematics. Zbl 1100.03004
Feferman, Solomon
2006
The Gödel editorial project: a synopsis. Zbl 1089.03003
Feferman, Solomon
2005
Alfred Tarski. Life and logic. Zbl 1062.03002
Feferman, Anita Burdman; Feferman, Solomon
2004
Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009
Feferman, Solomon
2004
Tarski’s conception of logic. Zbl 1055.03003
Feferman, Solomon
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.01019
Gödel, Kurt
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.01020
Gödel, Kurt
2003
The significance of Weyl’s Das Kontinuum. Zbl 1012.03005
Feferman, Solomon
2002
Relationships between constructive, predicative and classical systems of analysis. Zbl 1017.03036
Feferman, Solomon
2002
Highlights in proof theory. Zbl 1013.03068
Feferman, Solomon
2002
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
2001
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
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.01023
Turing, A. M.
2001
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
2000
The unfolding of non-finitist arithmetic. Zbl 0959.03048
Feferman, Solomon; Strahm, Thomas
2000
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
2000
Does reductive proof theory have a viable rationale? Zbl 0971.03058
Feferman, Solomon
2000
Mathematical intuition vs. mathematical monsters. Zbl 1001.03012
Feferman, Solomon
2000
Challenges to predicative foundations of arithmetic. Zbl 0991.03052
Feferman, Solomon; Hellman, Geoffrey
2000
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
1999
Does mathematics need new axioms? Zbl 1076.00501
Feferman, Solomon
1999
Tarski and Gödel: Between the lines. Zbl 0973.01031
Feferman, Solomon
1999
Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053
1998
In the light of logic. Zbl 0918.01044
Feferman, Solomon
1998
Systems of explicit mathematics with non-constructive $$\mu$$-operator. II. Zbl 0868.03026
Feferman, Solomon; Jäger, Gerhard
1996
Gödel’s program for new axioms: Why, where, how and what? Zbl 0857.03034
Feferman, Solomon
1996
Kreisel’s “unwinding” program. Zbl 0889.03045
Feferman, Solomon
1996
Computation on abstract data types. The extensional approach, with an application to streams. Zbl 0858.03048
Feferman, Solomon
1996
Predicative foundations of arithmetic. Zbl 0816.03030
Feferman, Solomon; Hellman, Geoffrey
1995
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
1995
Finitary inductively presented logics. Zbl 0823.03032
Feferman, Solomon
1994
Systems of explicit mathematics with non-constructive $$\mu$$-operator. I. Zbl 0794.03074
Feferman, Solomon; Jäger, Gerhard
1993
Gödel’s Dialectica interpretation and its two-way stretch. Zbl 0815.03036
Feferman, Solomon
1993
Logics for termination and correctness of functional programs. Zbl 0754.03018
Feferman, Solomon
1992
Logics for termination and correctness of functional programs. II: Logics of strength PRA. Zbl 0790.03029
Feferman, Solomon
1992
A new approach to abstract data types. II: Computation on ADTs as ordinary computation. Zbl 0819.68078
Feferman, S.
1992
A new approach to abstract data types. I: Informal development. Zbl 0825.68456
Feferman, Solomon
1992
Jean van Heijenoort (1912-1986). Zbl 0755.01026
Burdman Feferman, Anita; Feferman, Solomon
1992
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
1991
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
1990
Polymorphic typed lambda-calculi in a type-free axiomatic framework. Zbl 0701.03007
Feferman, Solomon
1990
Finitary inductively presented logics. Zbl 0682.03031
Feferman, Solomon
1989
The number systems. Foundations of algebra and analysis. 2nd ed. Zbl 0674.00001
Feferman, Solomon
1989
Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002
Feferman, Solomon
1988
Turing in the land of O(z). Zbl 0663.01008
Feferman, Solomon
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
1987
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
1986
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
1985
A theory of variable types. Zbl 0615.03045
Feferman, Solomon
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
1985
Intensionality in mathematics. Zbl 0558.03002
Feferman, Solomon
1985
Julia Bowman Robinson 1919-1985. Zbl 0571.01026
Henkin, 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.
1985
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
1984
Recent essays on truth and the liar paradox. Zbl 0623.03001
1984
Between constructive and classical mathematics. Zbl 0578.03031
Feferman, Solomon
1984
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. Zbl 0525.03038
Feferman, S.; Jaeger, G.
1983
Iterated inductive fixed-point theories: Application to Hancock’s conjecture. Zbl 0522.03045
Feferman, Solomon
1982
Monotone inductive definitions. Zbl 0525.03037
Feferman, Solomon
1982
Inductively presented systems and the formalization of meta-mathematics. Zbl 0516.03006
Feferman, Solomon
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
1982
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried
1981
To H. B. Curry: Essays on combinatory logic, lambda calculus and formalism. Zbl 0469.03006
1980
Constructive theories of functions and classes. Zbl 0441.03022
Feferman, Solomon
1979
What does logic have to tell us about mathematical proofs? Zbl 0426.03011
Feferman, Solomon
1979
Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010
Feferman, Solomon
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
1978
Categorical foundations and foundations of category theory. Zbl 0401.18001
Feferman, Solomon
1977
Recursion in total functionals of finite type. Zbl 0365.02030
Feferman, Solomon
1977
Inductive schemata and recursively continuous functionals. Zbl 0422.03023
Feferman, Solomon
1977
A language and axioms for explicit mathematics. Zbl 0357.02029
Feferman, Solomon
1975
Two notes on abstract model theory. II: Languages for which the set of valid sentences is semi-invariantly implicitly definable. Zbl 0335.02034
Feferman, Solomon
1975
Non-extensional type-free theories of partial operations and classifications. I. Zbl 0324.02018
Feferman, Solomon
1975
Two notes on abstract model theory. I: Properties invariant on the range of definable relations between structures. Zbl 0296.02026
Feferman, Solomon
1974
Applications of many-sorted interpolation theorems. Zbl 0311.02060
Feferman, Solomon
1974
Predicatively reducible systems of set theory. Zbl 0312.02051
Feferman, Solomon
1974
Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018
Feferman, Solomon
1972
...and 24 more Documents
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)

### Wikidata Timeline

The data are displayed as stored in Wikidata under a Creative Commons CC0 License. Updates and corrections should be made in Wikidata.