×

Feferman, Solomon (b. 1928 d. 2016)

Author ID: feferman.solomon Recent zbMATH articles by "Feferman, Solomon"
Published as: Feferman, Solomon; Feferman, S.
External Links: MGP · Wikidata · Math-Net.Ru · dblp · GND · IdRef
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 Aczel, Peter
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 Jungersen
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 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
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

Publications by Year

Citations contained in zbMATH Open

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

Cited by 1,044 Authors

33 Rathjen, Michael
31 Feferman, Solomon
31 Jäger, Gerhard
27 Sanders, Sam
21 Strahm, Thomas
17 Visser, Albert
17 Weiermann, Andreas
15 Kurahashi, Taishi
15 Shelah, Saharon
14 Beklemishev, Lev D.
14 Makowsky, Johann-Andreas
12 Halbach, Volker
12 Nicolai, Carlo
11 Maksimova, Larisa L’vovna
11 Väänänen, Jouko Antero
10 Cantini, Andrea
10 Kahle, Reinhard
9 Avron, Arnon
9 Ferreira, Fernando
9 Kohlenbach, Ulrich Wilhelm
9 Kuncak, Viktor
9 Leigh, Graham Emil
9 Normann, Dag
9 Pohlers, Wolfram
9 Rabinovich, Alexander
9 Sieg, Wilfried
9 Terwijn, Sebastiaan A.
8 Fernández Duque, David
8 Oliva, Paulo
8 Sato, Kentaro
8 van Benthem, Johan F. A. K.
7 Avigad, Jeremy
7 Freund, Anton
7 Fujimoto, Kentaro
7 Macintyre, Angus John
6 Arai, Toshiyasu
6 Joosten, Joost J.
6 Pakhomov, Fedor N.
6 Petrakis, Iosif
6 Shapiro, Stewart
6 Simpson, Stephen G.
5 Badia, Guillermo
5 Barton, Neil
5 Bonnay, Denis
5 Cohen, Liron
5 Doria, Francisco Antonio
5 Enayat, Ali
5 Farah, Ilijas
5 Gordeev, Lev
5 Horsten, Leon
5 Kentaro, Sato
5 Meadows, Toby
5 Mundici, Daniele
5 Németi, István
5 Rossi, Lorenzo
5 Studer, Thomas
5 ten Cate, Balder David
5 Wainer, Stanley Scott
5 Westerståhl, Dag
4 Andréka, Hajnal
4 Anellis, Irving Henry
4 Berger, Ulrich
4 Burris, Stanley N.
4 Caicedo, Xavier
4 Constable, Robert Lee
4 Crosilla, Laura
4 Crossley, John Newsome
4 Da Costa, Newton Carneiro Affonso
4 Dean, Walter
4 Fischer, Martin
4 Friedman, Harvey M.
4 Friedman, Sy-David
4 Frittaion, Emanuele
4 Fujiwara, Makoto
4 Gilmore, Paul C.
4 Glass, Thomas A.
4 Grabmayr, Balthasar
4 Hernest, Mircea-Dan
4 Katz, Mikhail G.
4 Kolaitis, Phokion G.
4 Langer, Alexander
4 Lempp, Steffen
4 Makkai, Michael
4 Maschio, Samuele
4 Murawski, Roman
4 Olin, Philip
4 Olkhovikov, Grigory K.
4 Rantala, Veikko
4 Sacks, Gerald Enoch
4 Schindler, Thomas
4 Schmidt, Diana
4 Scowcroft, Philip
4 Stern, Johannes
4 Sudoplatov, Sergeĭ Vladimirovich
4 Tachtsis, Eleftherios
4 Towsner, Henry
4 Tupailo, Sergei
4 Van den Berg, Benno
4 Walsh, Sean
4 Wilken, Gunnar
...and 944 more Authors
all top 5

Cited in 143 Serials

186 Annals of Pure and Applied Logic
84 The Journal of Symbolic Logic
57 Journal of Philosophical Logic
52 Archive for Mathematical Logic
52 The Review of Symbolic Logic
48 Studia Logica
46 Synthese
46 The Bulletin of Symbolic Logic
40 Theoretical Computer Science
34 Notre Dame Journal of Formal Logic
24 Archiv für Mathematische Logik und Grundlagenforschung
24 Mathematical Logic Quarterly (MLQ)
22 Transactions of the American Mathematical Society
20 Information and Computation
18 Logica Universalis
15 Algebra Universalis
12 Algebra and Logic
11 Israel Journal of Mathematics
10 Artificial Intelligence
10 Journal of Algebra
10 Siberian Mathematical Journal
10 Logical Methods in Computer Science
9 Advances in Mathematics
9 Proceedings of the American Mathematical Society
8 The Mathematical Intelligencer
7 Journal of Pure and Applied Algebra
7 Bulletin of the American Mathematical Society
6 Journal of Computer and System Sciences
6 Journal of Logic, Language and Information
6 Erkenntnis
5 Mathematical Notes
5 Compositio Mathematica
5 Mathematical Structures in Computer Science
5 Theory of Computing Systems
5 Topoi
5 Foundations of Science
5 Journal of Mathematical Logic
5 Logic and Logical Philosophy
4 Applied Mathematics and Computation
4 Bulletin of the London Mathematical Society
4 Rendiconti del Seminario Matematico della Università di Padova
4 Journal of Automated Reasoning
4 Indagationes Mathematicae. New Series
4 Journal of Applied Non-Classical Logics
4 Nôus
4 Journal of Logical and Algebraic Methods in Programming
3 Journal of Soviet Mathematics
3 Monatshefte für Mathematik
3 Pacific Journal of Mathematics
3 History and Philosophy of Logic
3 Journal of Symbolic Computation
3 Bulletin of the American Mathematical Society. New Series
3 Annals of Mathematics and Artificial Intelligence
3 Philosophical Transactions of the Royal Society of London. Series A. Mathematical, Physical and Engineering Sciences
3 Lobachevskii Journal of Mathematics
3 The Journal of Logic and Algebraic Programming
3 ACM Transactions on Computational Logic
3 Foundations of Physics
3 Sibirskie Èlektronnye Matematicheskie Izvestiya
3 Forum of Mathematics, Sigma
3 Computability
2 Acta Informatica
2 Discrete Applied Mathematics
2 Mathematische Semesterberichte
2 Annali di Matematica Pura ed Applicata. Serie Quarta
2 Cahiers de Topologie et Géométrie Différentielle Catégoriques
2 Fuzzy Sets and Systems
2 Mathematical Systems Theory
2 Mathematische Zeitschrift
2 Memoirs of the American Mathematical Society
2 Publications of the Research Institute for Mathematical Sciences, Kyoto University
2 Order
2 Historia Mathematica
2 Bulletin of the Polish Academy of Sciences, Mathematics
2 Formal Methods in System Design
2 Applied Categorical Structures
2 Journal of Mathematical Sciences (New York)
2 Doklady Mathematics
2 Fundamenta Informaticae
2 Portugaliae Mathematica. Nova Série
2 Journal of Applied Logic
2 Oberwolfach Reports
2 Science in Context
1 Acta Mathematica Academiae Scientiarum Hungaricae
1 American Mathematical Monthly
1 Computers & Mathematics with Applications
1 Discrete Mathematics
1 Information Processing Letters
1 Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV)
1 Letters in Mathematical Physics
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 Commentationes Mathematicae Universitatis Carolinae
1 Fundamenta Mathematicae
1 Journal of Combinatorial Theory. Series B
1 Journal of Functional Analysis
...and 43 more Serials
all top 5

Cited in 38 Fields

1,207 Mathematical logic and foundations (03-XX)
216 Computer science (68-XX)
90 History and biography (01-XX)
78 General and overarching topics; collections (00-XX)
46 Category theory; homological algebra (18-XX)
43 Order, lattices, ordered algebraic structures (06-XX)
30 Combinatorics (05-XX)
30 General algebraic systems (08-XX)
18 Group theory and generalizations (20-XX)
17 General topology (54-XX)
11 Game theory, economics, finance, and other social and behavioral sciences (91-XX)
10 Number theory (11-XX)
10 Associative rings and algebras (16-XX)
10 Quantum theory (81-XX)
8 Real functions (26-XX)
7 Commutative algebra (13-XX)
7 Measure and integration (28-XX)
6 Field theory and polynomials (12-XX)
6 Functional analysis (46-XX)
6 Geometry (51-XX)
4 Algebraic geometry (14-XX)
4 Dynamical systems and ergodic theory (37-XX)
4 Systems theory; control (93-XX)
4 Mathematics education (97-XX)
3 Topological groups, Lie groups (22-XX)
3 Sequences, series, summability (40-XX)
3 Algebraic topology (55-XX)
3 Relativity and gravitational theory (83-XX)
2 Information and communication theory, circuits (94-XX)
1 Approximations and expansions (41-XX)
1 Abstract harmonic analysis (43-XX)
1 Operator theory (47-XX)
1 Differential geometry (53-XX)
1 Probability theory and stochastic processes (60-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

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