Solomon Feferman

	2011
31		Solomon Feferman: Two PhD Students for the Price of One. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 1-3
	2010
30		Solomon Feferman: Set-theoretical Invariance Criteria for Logicality. Notre Dame Journal of Formal Logic 51(1): 3-20 (2010)
	2009
29		Solomon Feferman: Operational set theory and small large cardinals. Inf. Comput. 207(10): 971-979 (2009)
	2008
28		Solomon Feferman: Harmonious logic: Craig's interpolation theorem and its descendants. Synthese 164(3): 341-357 (2008)
	2006
27		Solomon Feferman: Tarski's influence on computer science CoRR abs/cs/0608062: (2006)
26		Solomon Feferman: Tarski's influence on computer science. Logical Methods in Computer Science 2(3): (2006)
	2005
25		Solomon Feferman: Tarski's Influence on Computer Science. LICS 2005: 342
24		Solomon Feferman: The Gödel editorial project: A synopsis. Bulletin of Symbolic Logic 11(2): 132-149 (2005)
	2004
23		Solomon Feferman: Tarski's conception of logic. Ann. Pure Appl. Logic 126(1-3): 5-13 (2004)
	2000
22		Solomon Feferman, Thomas Strahm: The unfolding of non-finitist arithmetic. Ann. Pure Appl. Logic 104(1-3): 75-96 (2000)
21		Solomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401-446 (2000)
	1999
20		Solomon Feferman: Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic 40(1): 31-54 (1999)
	1996
19		Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Logic 79(1): 37-52 (1996)
18		Solomon Feferman: Computation on Abstract Data Types: The Extensional Approach, with an Application to Streams. Ann. Pure Appl. Logic 81(1-3): 75-113 (1996)
	1995
17		Sergei N. Artëmov, George Boolos, Erwin Engeler, Solomon Feferman, Gerhard Jäger, Albert Visser: Preface: Special Issue of Papers from the Conference on Proof Theory, Provability Logic, and Computation, Berne, Switzerland, 20-24 March 1994. Ann. Pure Appl. Logic 75(1-2): 1 (1995)
	1993
16		Solomon Feferman: Gödel's Dialectica Interpretation and Its Two-Way Stretch. Kurt Gödel Colloquium 1993: 23-40
15		Solomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65(3): 243-263 (1993)
	1992
14		Solomon Feferman: A New Approach to Abstract Data Types, I: Informal Development. Mathematical Structures in Computer Science 2(2): 193-229 (1992)
	1991
13		Solomon Feferman: A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. CSL 1991: 79-95
12		Solomon Feferman: Reflecting on Incompleteness. J. Symb. Log. 56(1): 1-49 (1991)
	1988
11		Solomon Feferman: Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. J. Symb. Log. 53(2): 364-384 (1988)
	1986
10		Jon Barwise, Solomon Feferman, David Israel: Meeting of the Association for Symbolic Logic: Stanford, California, 1985. J. Symb. Log. 51(3): 832-862 (1986)
	1985
9		A. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). Logic Colloquium 1985: 1-8
	1984
8		Solomon Feferman: Toward Useful Type-Free Theories. I. J. Symb. Log. 49(1): 75-111 (1984)
	1983
7		Solomon Feferman, Gerhard Jäger: Choice Principles, the Bar Rule and Autonomously Iterated Comprehension Schemes in Analysis. J. Symb. Log. 48(1): 63-70 (1983)
	1977
6		Solomon Feferman, Jon Barwise, Leo Harrington: Meeting of the Association for Symbolic Logic: Reno, 1976. J. Symb. Log. 42(1): 156-160 (1977)
	1968
5		Solomon Feferman: Systems of Predicative Analysis, II: Representations of Ordinals. J. Symb. Log. 33(2): 193-220 (1968)
	1964
4		Solomon Feferman: Systems of Predicative Analysis. J. Symb. Log. 29(1): 1-30 (1964)
	1962
3		Solomon Feferman: Transfinite Recursive Progressions of Axiomatic Theories. J. Symb. Log. 27(3): 259-316 (1962)
2		Solomon Feferman, C. Spector: Incompleteness Along Paths in Progressions of Theories. J. Symb. Log. 27(4): 383-390 (1962)
	1957
1		Solomon Feferman: Degrees of Unsolvability Associated with Classes of Formalized Theories. J. Symb. Log. 22(2): 161-175 (1957)

Coauthor Index

1	Sergei N. Artëmov	[17]
2	K. Jon Barwise (Jon Barwise)	[6] [10]
3	George Boolos	[17]
4	Erwin Engeler	[17]
5	A. Burdman Feferman	[9]
6	Harvey M. Friedman (Harvey Friedman)	[21]
7	Leo Harrington	[6]
8	David Israel	[10]
9	Gerhard Jäger	[7] [15] [17] [19]
10	Penelope Maddy	[21]
11	C. Spector	[2]
12	John R. Steel	[21]
13	Thomas Strahm	[22]
14	Albert Visser	[17]

Colors in the list of coauthors

Last update Fri May 25 01:42:58 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page