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

Publications by Year

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.
151
1959
Arithmetization of metamathematics in a general setting. Zbl 0095.24301
Feferman, S.
97
1960
Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies. Zbl 0489.03022
Buchholz, Wilfried; Feferman, Solomon; Pohlers, Wolfram; Sieg, Wilfried
92
1981
Systems of predicative analysis. Zbl 0134.01101
Feferman, S.
85
1964
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
64
1987
Gödel’s functional (“Dialectica”) interpretation. Zbl 0913.03053
Avigad, Jeremy; Feferman, Solomon
63
1998
Reflecting on incompleteness. Zbl 0746.03046
Feferman, Solomon
62
1991
Transfinite recursive progressions of axiomatic theories. Zbl 0117.25402
Feferman, S.
58
1963
Some applications of the notions of forcing and generic sets. Zbl 0129.26401
Feferman, S.
52
1965
Toward useful type-free theories. I. Zbl 0574.03043
Feferman, Solomon
46
1984
Systems of predicative analysis. II: Representations of ordinals. Zbl 0162.02201
Feferman, S.
37
1968
A language and axioms for explicit mathematics. Zbl 0357.02029
Feferman, Solomon
29
1975
Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002
Feferman, Solomon
27
1988
Recent essays on truth and the liar paradox. Zbl 0623.03001
26
1984
Constructive theories of functions and classes. Zbl 0441.03022
Feferman, Solomon
21
1979
Systems of explicit mathematics with non-constructive \(\mu\)-operator. I. Zbl 0794.03074
Feferman, 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.02026
Feferman, Solomon
20
1974
Iterated inductive fixed-point theories: Application to Hancock’s conjecture. Zbl 0522.03045
Feferman, Solomon
19
1982
Persistent and invariant formulas relative to theories of higher order. Zbl 0234.02038
Feferman, S.; Kreisel, Georg
19
1966
In the light of logic. Zbl 0918.01044
Feferman, Solomon
18
1998
Systems of explicit mathematics with non-constructive \(\mu\)-operator. II. Zbl 0868.03026
Feferman, Solomon; Jäger, Gerhard
17
1996
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
17
1999
Alfred Tarski. Life and logic. Zbl 1062.03002
Feferman, Anita Burdman; Feferman, Solomon
17
2004
Incompleteness along paths in progressions of theories. Zbl 0117.25701
Feferman, S.; Spector, C.
17
1963
Persistent and invariant formulas for outer extensions. Zbl 0162.01601
Feferman, S.
17
1968
Does mathematics need new axioms? Zbl 0977.03002
Feferman, 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.02024
Feferman, S.
16
1970
Operational set theory and small large cardinals. Zbl 1183.03044
Feferman, 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.01023
Gödel, Kurt
15
1990
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
15
1986
The unfolding of non-finitist arithmetic. Zbl 0959.03048
Feferman, Solomon; Strahm, Thomas
14
2000
Does mathematics need new axioms? Zbl 1076.00501
Feferman, Solomon
13
1999
Lectures on proof theory. Zbl 0248.02033
Feferman, Solomon
12
1968
Gödel’s program for new axioms: Why, where, how and what? Zbl 0857.03034
Feferman, Solomon
11
1996
Logics for termination and correctness of functional programs. Zbl 0754.03018
Feferman, Solomon
11
1992
Set-theoretical invariance criteria for logicality. Zbl 1197.03035
Feferman, Solomon
11
2010
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
10
2000
Does reductive proof theory have a viable rationale? Zbl 0971.03058
Feferman, Solomon
10
2000
Degrees of unsolvability associated with classes of formalized theories. Zbl 0078.00603
Feferman, Solomon
10
1957
Classifications of recursive functions by means of hierarchies. Zbl 0106.00602
Feferman, 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.25102
Ehrenfeucht, A.; Feferman, S.
9
1961
Axioms for determinateness and truth. Zbl 1204.03007
Feferman, Solomon
9
2008
A theory of variable types. Zbl 0615.03045
Feferman, Solomon
8
1985
Polymorphic typed lambda-calculi in a type-free axiomatic framework. Zbl 0701.03007
Feferman, Solomon
8
1990
Logics for termination and correctness of functional programs. II: Logics of strength PRA. Zbl 0790.03029
Feferman, Solomon
8
1992
Applications of many-sorted interpolation theorems. Zbl 0311.02060
Feferman, Solomon
8
1974
Predicative foundations of arithmetic. Zbl 0816.03030
Feferman, Solomon; Hellman, Geoffrey
7
1995
Choice principles, the bar rule and autonomously iterated comprehension schemes in analysis. Zbl 0525.03038
Feferman, S.; Jaeger, G.
7
1983
Categorical foundations and foundations of category theory. Zbl 0401.18001
Feferman, Solomon
7
1977
Mathematical intuition vs. mathematical monsters. Zbl 1001.03012
Feferman, Solomon
7
2000
Set-theoretical foundations of category theory. Zbl 0213.03001
Feferman, S.
7
1969
Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027
Feferman, 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.02034
Feferman, Solomon
6
1975
And so on …: reasoning with infinite diagrams. Zbl 1274.00016
Feferman, Solomon
6
2012
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
6
2010
Monotone inductive definitions. Zbl 0525.03037
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
Finitary inductively presented logics. Zbl 0823.03032
Feferman, Solomon
4
1994
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
4
1995
What does logic have to tell us about mathematical proofs? Zbl 0426.03011
Feferman, Solomon
4
1979
Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010
Feferman, Solomon
4
1979
The significance of Weyl’s Das Kontinuum. Zbl 1012.03005
Feferman, Solomon
4
2002
Relationships between constructive, predicative and classical systems of analysis. Zbl 1017.03036
Feferman, Solomon
4
2002
A fortuitous year with Leon Henkin. Zbl 1326.03004
Feferman, Solomon
4
2014
Gödel’s Dialectica interpretation and its two-way stretch. Zbl 0815.03036
Feferman, Solomon
4
1993
Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009
Feferman, Solomon
4
2004
Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005
Feferman, Solomon
4
2013
Predicatively reducible systems of set theory. Zbl 0312.02051
Feferman, Solomon
4
1974
Autonomous transfinite progressions and the extent of predicative mathematics. Zbl 0198.32302
Feferman, S.
4
1968
Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018
Feferman, Solomon
4
1972
The number systems. Foundations of algebra and analysis. Zbl 0117.25803
Feferman, S.
4
1964
Predicative provability in set theory. Zbl 0148.25403
Feferman, S.
4
1966
Turing in the land of O(z). Zbl 0663.01008
Feferman, Solomon
3
1988
Collected works. Volume III: Unpublished essays and lectures. Edited by Solomon Feferman and others. Paperback ed. Zbl 1074.01015
Gödel, Kurt
3
2001
The Gödel editorial project: a synopsis. Zbl 1089.03003
Feferman, Solomon
3
2005
A new approach to abstract data types. I: Informal development. Zbl 0825.68456
Feferman, Solomon
3
1992
The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003
Feferman, Solomon
3
2010
Recursion in total functionals of finite type. Zbl 0365.02030
Feferman, Solomon
3
1977
Tarski’s influence on computer science. Zbl 1126.03005
Feferman, Solomon
3
2006
Kreisel’s “unwinding” program. Zbl 0889.03045
Feferman, Solomon
3
1996
Tarski’s conception of logic. Zbl 1055.03003
Feferman, 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.24502
Feferman, S.; Kreisel, Georg; Orey, S.
3
1962
Finitary inductively presented logics. Zbl 0682.03031
Feferman, Solomon
3
1989
Enriched stratified systems for the foundations of category theory. Zbl 1148.18302
Feferman, Solomon
3
2006
Intensionality in mathematics. Zbl 0558.03002
Feferman, 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.03048
Feferman, Solomon
2
1996
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gödel, Kurt
2
2001
Challenges to predicative foundations of arithmetic. Zbl 0991.03052
Feferman, Solomon; Hellman, Geoffrey
2
2000
Tarski and Gödel: Between the lines. Zbl 0973.01031
Feferman, Solomon
2
1999
Between constructive and classical mathematics. Zbl 0578.03031
Feferman, Solomon
2
1984
Axiomatizing truth: why and how? Zbl 1315.03003
Feferman, Solomon
2
2012
On the strength of some semi-constructive theories. Zbl 1315.03115
Feferman, Solomon
2
2012
Turing’s thesis. Zbl 1142.03300
Feferman, Solomon
2
2006
Ordinals and functionals in proof theory. Zbl 0244.02010
Feferman, 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.03020
Feferman, Solomon
1
2015
A fortuitous year with Leon Henkin. Zbl 1326.03004
Feferman, Solomon
4
2014
Foundations of unlimited category theory: what remains to be done. Zbl 1275.18005
Feferman, 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.00016
Feferman, Solomon
6
2012
Axiomatizing truth: why and how? Zbl 1315.03003
Feferman, Solomon
2
2012
On the strength of some semi-constructive theories. Zbl 1315.03115
Feferman, Solomon
2
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
11
2010
Unfolding finitist arithmetic. Zbl 1232.03053
Feferman, Solomon; Strahm, Thomas
6
2010
The proof theory of classical and constructive inductive definitions. A forty year saga, 1968–2008. Zbl 1244.03003
Feferman, 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.03166
Feferman, Solomon
1
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
9
2008
Harmonious logic: Craig’s interpolation theorem and its descendants. Zbl 1169.03027
Feferman, Solomon
6
2008
Andrzej Mostowski: an appreciation. Zbl 1148.01308
Feferman, Solomon
1
2008
Tarski’s influence on computer science. Zbl 1126.03005
Feferman, Solomon
3
2006
Enriched stratified systems for the foundations of category theory. Zbl 1148.18302
Feferman, Solomon
3
2006
Turing’s thesis. Zbl 1142.03300
Feferman, Solomon
2
2006
Are there absolutely unsolvable problems? Gödel’s dichotomy. Zbl 1113.03008
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
3
2005
Alfred Tarski. Life and logic. Zbl 1062.03002
Feferman, Anita Burdman; Feferman, Solomon
17
2004
Typical ambiguity: trying to have your cake and eat it too. Zbl 1060.03009
Feferman, Solomon
4
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
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.01020
Gödel, Kurt
1
2003
The significance of Weyl’s Das Kontinuum. Zbl 1012.03005
Feferman, Solomon
4
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
3
2001
Collected works. Volume I: Publications 1929–1936. Edited by Solomon Feferman and others. Paperback ed. Zbl 0973.01104
Gö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.01023
Turing, A. M.
1
2001
Does mathematics need new axioms? Zbl 0977.03002
Feferman, Solomon; Friedman, Harvey M.; Maddy, Penelope; Steel, John R.
16
2000
The unfolding of non-finitist arithmetic. Zbl 0959.03048
Feferman, Solomon; Strahm, Thomas
14
2000
In memoriam: Kenneth Jon Barwise, 1942–2000. Zbl 0972.01040
Feferman, Solomon
10
2000
Does reductive proof theory have a viable rationale? Zbl 0971.03058
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
2
2000
Logic, logics, and logicism. Zbl 0972.03005
Feferman, Solomon
17
1999
Does mathematics need new axioms? Zbl 1076.00501
Feferman, Solomon
13
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
63
1998
In the light of logic. Zbl 0918.01044
Feferman, Solomon
18
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
11
1996
Kreisel’s “unwinding” program. Zbl 0889.03045
Feferman, Solomon
3
1996
Computation on abstract data types. The extensional approach, with an application to streams. Zbl 0858.03048
Feferman, Solomon
2
1996
Predicative foundations of arithmetic. Zbl 0816.03030
Feferman, Solomon; Hellman, Geoffrey
7
1995
Collected Works. Vol. III: Unpublished essays and lectures. Ed. by Solomon Feferman. Zbl 0826.01038
Goedel, Kurt
4
1995
Finitary inductively presented logics. Zbl 0823.03032
Feferman, Solomon
4
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
4
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
62
1991
Collected works. Volume II: Publications 1938-1974. Ed. by Solomon Feferman et al. Zbl 0698.01023
Gödel, Kurt
15
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
3
1989
The number systems. Foundations of algebra and analysis. 2nd ed. Zbl 0674.00001
Feferman, Solomon
1
1989
Hilbert’s Program relativized: Proof-theoretical and foundational reductions. Zbl 0656.03002
Feferman, Solomon
27
1988
Turing in the land of O(z). Zbl 0663.01008
Feferman, Solomon
3
1988
Proof theory. 2nd ed. Zbl 0609.03019
Takeuti, Gaisi
64
1987
Collected works. Volume I: Publications 1929–1936. Ed. by Solomon Feferman et al. Zbl 0592.01035
Gödel, Kurt
15
1986
Model-theoretic logics. (Parts A-C). Zbl 0587.03001
65
1985
A theory of variable types. Zbl 0615.03045
Feferman, Solomon
8
1985
Model-theoretic logics. (Parts D-F). Zbl 0587.03002
3
1985
Intensionality in mathematics. Zbl 0558.03002
Feferman, Solomon
2
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
46
1984
Recent essays on truth and the liar paradox. Zbl 0623.03001
26
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
19
1982
Monotone inductive definitions. Zbl 0525.03037
Feferman, Solomon
5
1982
Inductively presented systems and the formalization of meta-mathematics. Zbl 0516.03006
Feferman, 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.03022
Buchholz, 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.03022
Feferman, Solomon
21
1979
What does logic have to tell us about mathematical proofs? Zbl 0426.03011
Feferman, Solomon
4
1979
Generalizing set-theoretical model theory and an analogue theory on admissible sets. Zbl 0439.03010
Feferman, 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.18001
Feferman, Solomon
7
1977
Recursion in total functionals of finite type. Zbl 0365.02030
Feferman, Solomon
3
1977
Inductive schemata and recursively continuous functionals. Zbl 0422.03023
Feferman, Solomon
1
1977
A language and axioms for explicit mathematics. Zbl 0357.02029
Feferman, 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.02034
Feferman, Solomon
6
1975
Non-extensional type-free theories of partial operations and classifications. I. Zbl 0324.02018
Feferman, Solomon
1
1975
Two notes on abstract model theory. I: Properties invariant on the range of definable relations between structures. Zbl 0296.02026
Feferman, Solomon
20
1974
Applications of many-sorted interpolation theorems. Zbl 0311.02060
Feferman, Solomon
8
1974
Predicatively reducible systems of set theory. Zbl 0312.02051
Feferman, Solomon
4
1974
Infinitary properties, local functors, and systems of ordinal functions. Zbl 0302.02018
Feferman, Solomon
4
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

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.