• Persistent and invariant formulas relative to theories of higher order

    1966, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 8-1-61

    ...Enthält: 2 Sonderdrucke des zusammen mit Solomon Feferman publizierten Artikels "Persistent and invariant formulas relative to theories of higher order" aus Bulletin... ...... ...Feferman, Solomon...

  • Buchstabe F

    1980-2011, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-26

    ...Enthält: Korrespondenz mit Personen, deren Familiennamen mit F beginnt Farmer, William M. Faure, Hubert Feferman, Anita Burdman; 1927- Feferman,... ...... ...Feferman, Anita Burdman... ...Feferman, Solomon...

  • Gödel-Symposium 1983

    1982-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-75

    ...Enthält: Korrespondenz und Unterlagen in Zusammenhang mit dem im Juli 1983 in Salzburg veranstalteten Gödel-Symposium Feferman, Solomon; Mathematiker, Philosoph,... ...E.; Philosoph, 1931- Popper, Karl R.; Philosoph, Wissenschaftstheoretiker, 1902-1994 Ščedrov, Andrej; 1955- Schmetterer, Leopold; Mathematiker, Statistiker, 1919-2004 Scott, Dana S.; Mathematiker,... ...... ...Feferman, Solomon...

  • Buchstabe K

    (1968-1969), 1981-2009, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 5-35

    ...Brief von Walter Romberg (Zentrallblatt für Mathematik) vom 11.1.1968 (GK 5-35-43 verso) ·Ausdruck eines Listenbeitrages von Harvey Friedman vom 2.5.2008 (GK 5-35-43 verso) ·masch. Brief von... ...... ...Feferman, Solomon...

  • Kreisel letters

    1972-1978, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-5

    ...Entwurf zu einem Schreiben an Solomon Feferman, David S. Nivision und den Studiendekan der Promotion von Beeson.... ...Briefes vom 29.3.1972 an Feferman und Nivison, bei GK 1-5-13 und -14 um Kopien masch.... ...Beeson, Michael J., 1945 - Dirac, Gabriel Feferman, Solomon Nivision, David S. Scott, Dana S....

  • Kreisel letters

    1979-1980, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-8

    ...Empfehlungsschreibens für Jean-Yves Girard vom 18.4.1980 von Solomon Feferman an G. Mokobodzki sowie Lebenslauf, Schriftenverzeichnis und Profil von Girard.... ...Besprochen sind die Beiträge von J.M.E. Hyland, Solomon Feferman und R.O. Gandy und Hyland zu dem Band Logic colloquium 76, Proc.... ...Brief vom 6.5.1980 von Solomon Feferman an Dana Scott. GK 1-8-40 enthält einen hs.... ...Delzell, Charles N., 1953 - Feferman, Solomon Girard, Jean-Yves Grattan-Guinness, I....

  • Kreisel letters

    1981-1983, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-13

    ...GK 1-13 enthält zwei hs. Briefe an Solomon Feferman vom 13. und vom 15.4.1983 sowie die Kopie des Druckmanuskriptes von Kreisels Rezension von G.... ...GK 1-13-5 enthält in Kopieform einen hs. Briefes an Solomon Feferman vom 11.4.83 (verso mit hs. Kurznachricht an Dana Scott), einen masch.... ...Korrekturen, vermutlich im Zusammenhang der Publikation in der Gödel-Werkausgabe von Feferman und anderen. Bei GK 1-13-8 handelt es sich um ein hs.... ...Dummett, Michael, 1925 - 2011 Feferman, Solomon Girard, Jean-Yves Kaufmann-Bühler, Walter Kleene, Stephen, 1909 - 1994 Popper, Karl R....

  • Kreisel letters

    1964-1969, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-2

    ...Die Stücke GK 1-2-17 bis -26 betreffen einen Druckkostenzuschuß für den Abdruck einen Artikels von Solomon Feferman. Enthalten sind eine masch. Kurznotiz von Patrick...

  • Kreisel letters

    1978-1984, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 1-14

    ...Briefes vom 3.10.1983 an S. Feferman. Bei GK 1-14-18 und -19 handelt es sich um hs.... ...Entwurfes vom 8.6.1984 zu einem Brief an Feferman. Bei GK 1-14-53 handelt es sich um einen masch.... ...Burge, Tyler Dapueto, Carlo Davis, Martin, 1928 - Feferman, Solomon Ferrari, Pier Luigi Friedman, Harvey, 1948 - Getty, Ann....

  • MSS of Kreisel Reviews

    1952-1990, Archive der Universität Konstanz, PAKN, GK Georg Kreisel, GK 2-16

    ...Bei GK 2-16-79 handelt es sich um den Durchschlag eines Typoskriptes von einer Rezension des Artikels "Transfinite recursive progressions of axiomatic theories" von Solomon... ...Besprochen ist der Artikel "Arithmetization of metamathematics in a general setting" (1960) von S. Feferman für Mathematical Reviews; GK 2-16-83 ist die Druckfahne, die sich vom...

Your search has not returned any results.