We stand with Ukraine  

Georg Kreisel

Affiliations:
  • Stanford University, Stanford, CA, USA
  • Université de Paris, Paris, France
  • University of Reading, UK


According to our database1, Georg Kreisel authored at least 18 papers between 1951 and 1998.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

1998
Second Thoughts Around Some of Gödel's Writings.
[BibTeX]
[DOI]
Georg Kreisel
Synth., 1998

1992
On the Idea(l) of Logical Closure.
[BibTeX]
[DOI]
Georg Kreisel
Ann. Pure Appl. Log., 1992

1988
Book review: <i>Collected works, Vol. I</i> [Oxford Univ. Press, New York, 1986] by K. Gödel.
[BibTeX]
[DOI]
Georg Kreisel
Notre Dame J. Formal Log., 1988

1987
Church's thesis and the ideal of informal rigour.
[BibTeX]
[DOI]
Georg Kreisel
Notre Dame J. Formal Log., 1987

1985
Proof Theory and the Synthesis of Programs: Potential and Limitations.
[BibTeX]
[DOI]
Georg Kreisel
Proceedings of the EUROCAL '85, 1985

1972
Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O?
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1972

1968
A Survey of Proof Theory.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1968

1966
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
[BibTeX]
[DOI]
William A. Howard
,
Georg Kreisel
J. Symb. Log., 1966

1965
Metarecursive Sets.
[BibTeX]
[DOI]
Georg Kreisel
,
Gerald E. Sacks
J. Symb. Log., 1965

1962
On Weak Completeness of Intuitionistic Predicate Logic.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1962

1958
A Remark on Free Choice Sequences and the Topological Completeness Proofs.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1958

Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1958

Mathematical Significance of Consistency Proofs.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1958

1957
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
[BibTeX]
[DOI]
Georg Kreisel
,
Hilary Putnam
Arch. Math. Log., 1957

1954
Remark on complete interpretations by models.
[BibTeX]
[DOI]
Georg Kreisel
Arch. Math. Log., 1954

1952
Problems.
[BibTeX]
[DOI]
Heinrich Scholz
,
Georg Kreisel
,
Leon Henkin
J. Symb. Log., 1952

On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1952

1951
On the Interpretation of Non-Finitist Proofs - Part I.
[BibTeX]
[DOI]
Georg Kreisel
J. Symb. Log., 1951


  Loading...