Georg Kreisel

18 papers Journal 17Unranked 1
YearRankTypeTitle / Venue / Authors
1998 J jnl
Second Thoughts Around Some of Gödel's Writings.
Synth.
Georg Kreisel
1992 J jnl
On the Idea(l) of Logical Closure.
Ann. Pure Appl. Log.
Georg Kreisel
1988 J jnl
Book review:
Notre Dame J. Formal Log.
Georg Kreisel
1987 J jnl
Church's thesis and the ideal of informal rigour.
Notre Dame J. Formal Log.
Georg Kreisel
1985 — conf
Proof Theory and the Synthesis of Programs: Potential and Limitations.
European Conference on Computer Algebra (1)
Georg Kreisel
1972 J jnl
Which Number Theoretic Problems can be Solved in Recursive Progressions on O 1/1 -Paths Through O?
J. Symb. Log.
Georg Kreisel
1968 J jnl
A Survey of Proof Theory.
J. Symb. Log.
Georg Kreisel
1966 J jnl
Transfinite Induction and Bar Induction of Types Zero and One, and the Role of Continuity in Intuitionistic Analysis.
J. Symb. Log.
William A. Howard, Georg Kreisel
1965 J jnl
Metarecursive Sets.
J. Symb. Log.
Georg Kreisel, Gerald E. Sacks
1962 J jnl
On Weak Completeness of Intuitionistic Predicate Logic.
J. Symb. Log.
Georg Kreisel
1958 J jnl
A Remark on Free Choice Sequences and the Topological Completeness Proofs.
J. Symb. Log.
Georg Kreisel
1958 J jnl
Elementary Completeness Properties of Intuitionistic Logic With a Note on Negations of Prenex Formulae.
J. Symb. Log.
Georg Kreisel
1958 J jnl
Mathematical Significance of Consistency Proofs.
J. Symb. Log.
Georg Kreisel
1957 J jnl
Eine Unableitbarkeitsbeweismethode für den Intuitionistischen Aussagenkalkül.
Arch. Math. Log.
Georg Kreisel, Hilary Putnam
1954 J jnl
Remark on complete interpretations by models.
Arch. Math. Log.
Georg Kreisel
1952 J jnl
On the Interpretation of Non-Finitist Proofs: Part II. Interpretation of Number Theory. Applications.
J. Symb. Log.
Georg Kreisel
1952 J jnl
Problems.
J. Symb. Log.
Heinrich Scholz, Georg Kreisel, Leon Henkin
1951 J jnl
On the Interpretation of Non-Finitist Proofs - Part I.
J. Symb. Log.
Georg Kreisel
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski