Solomon Feferman Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Operational set theory and small large cardinals. Inf. Comput. 207(10): 971-979 (2009)
2008
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Harmonious logic: Craig's interpolation theorem and its descendants. Synthese 164(3): 341-357 (2008)
2006
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Tarski's influence on computer science CoRR abs/cs/0608062: (2006)
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Tarski's influence on computer science. Logical Methods in Computer Science 2(3): (2006)
2005
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Tarski's Influence on Computer Science. LICS 2005: 342
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: The Gödel editorial project: A synopsis. Bulletin of Symbolic Logic 11(2): 132-149 (2005)
2004
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Tarski's conception of logic. Ann. Pure Appl. Logic 126(1-3): 5-13 (2004)
2000
22no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Thomas Strahm: The unfolding of non-finitist arithmetic. Ann. Pure Appl. Logic 104(1-3): 75-96 (2000)
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Harvey M. Friedman, Penelope Maddy, John R. Steel: Does mathematics need new axioms? Bulletin of Symbolic Logic 6(4): 401-446 (2000)
1999
20no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Logic, Logics, and Logicism. Notre Dame Journal of Formal Logic 40(1): 31-54 (1999)
1996
19no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part II. Ann. Pure Appl. Logic 79(1): 37-52 (1996)
18no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon 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
17no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSergei 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
16no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Gödel's Dialectica Interpretation and Its Two-Way Stretch. Kurt Gödel Colloquium 1993: 23-40
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Gerhard Jäger: Systems of Explicit Mathematics with Non-Constructive µ-Operator, Part I. Ann. Pure Appl. Logic 65(3): 243-263 (1993)
1992
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: A New Approach to Abstract Data Types, I: Informal Development. Mathematical Structures in Computer Science 2(2): 193-229 (1992)
1991
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: A New Approach to Abstract Data Types II: Computation on ADTs as Ordinary Computation. CSL 1991: 79-95
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Reflecting on Incompleteness. J. Symb. Log. 56(1): 1-49 (1991)
1988
11no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Hilbert's Program Relativized: Proof-Theoretical and Foundational Reductions. J. Symb. Log. 53(2): 364-384 (1988)
1986
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJon Barwise, Solomon Feferman, David Israel: Meeting of the Association for Symbolic Logic: Stanford, California, 1985. J. Symb. Log. 51(3): 832-862 (1986)
1985
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLA. Burdman Feferman, Solomon Feferman: Jean van Heijenoort (1912-1986). Logic Colloquium 1985: 1-8
1984
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Toward Useful Type-Free Theories. I. J. Symb. Log. 49(1): 75-111 (1984)
1983
7no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon 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
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, Jon Barwise, Leo Harrington: Meeting of the Association for Symbolic Logic: Reno, 1976. J. Symb. Log. 42(1): 156-160 (1977)
1968
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Systems of Predicative Analysis, II: Representations of Ordinals. J. Symb. Log. 33(2): 193-220 (1968)
1964
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Systems of Predicative Analysis. J. Symb. Log. 29(1): 1-30 (1964)
1962
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Transfinite Recursive Progressions of Axiomatic Theories. J. Symb. Log. 27(3): 259-316 (1962)
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman, C. Spector: Incompleteness Along Paths in Progressions of Theories. J. Symb. Log. 27(4): 383-390 (1962)
1957
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSolomon Feferman: Degrees of Unsolvability Associated with Classes of Formalized Theories. J. Symb. Log. 22(2): 161-175 (1957)

Coauthor Index

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

Colors in the list of coauthors

Copyright © Mon Nov 9 16:52:13 2009 by Michael Ley (ley@uni-trier.de)