Publications
Publications
Koepke, Peter
References
22.
Peter Koepke
Ordinals, computations, and models of set theory
Days in Logic '06 Volume 38 of Textos Mat. Sér. B
page 43--78.
Publisher: Univ. Coimbra, Coimbra,
2006
21.
Patrick Braselmann and Peter Koepke
A formal proof of Gödel's completeness theorem. A series of seven articles
Formalized Mathematics, 13(1):5--53
2005
20.
Peter Koepke
Turing computations on ordinals
Bulletin of Symbolic Logic, 11(3):377--397
2005
19.
Peter Koepke
Computing a model of Set Theory
New Computional Paradigms Volume 3526 of Lecture Notes in Computer Science
page 223--232.
Publisher: Springer, Heidelberg,
2005
18.
Peter Koepke and Marc van Eijmeren
A refinement of Jensen's constructible hierarchy
Classical and new paradigms of computation and their complexity hierarchies Volume 23 of Trends Log. Stud. Log. Libr.
page 159--169.
Publisher: Kluwer Acad. Publ., Dordrecht,
2004
17.
Peter Koepke and Bernhard Schröder
Sprachtechnologie für die multilinguale Kommunikation - Textproduktion, Recherche, �bersetzung, Lokalisierung - Beiträge der GLDV-Frühjahrstagung 2003
In Uta Seewald-Heeg, editor,
Chapter ProofML - Eine Annotationssprache für natürliche Beweise, page 49--63.
Publisher: Gardez Verlag,
2003
16.
Peter Koepke
The category of inner models
Synthese, 133(1-2):275--303
2002
15.
Peter Koepke and Bernhard Schröder
Computational Linguistics - Achievements and Perspectives
In Hans-Christian Schmitz, Bernhard Schröder and Gerd Willee, editor,
Chapter Natürlich formal, page 49--63.
Publisher: Gardez Verlag,
2002
14.
Vladimir Kanovei and Peter Koepke
Felix Hausdorff - Gesammelte Werke, Band II
In Egbert et. al. Brieskorn, editor,
Chapter Deskriptive Mengenlehre in Hausdorffs Grundzügen der Mengenlehre, page 773--787.
Publisher: Springer,
2002
13.
Peter Koepke
An iteration model violating the singular cardinals hypothesis
Sets and proofs (Leeds, 1997) Volume 258 of London Math. Soc. Lecture Note Ser.
page 95--102.
Publisher: Cambridge Univ. Press, Cambridge,
1999
12.
Peter Koepke
Extenders, embedding normal forms, and the Martin-Steel-theorem
J. Symbolic Logic, 63(3):1137--1176
1998
11.
Sy D. Friedman and Peter Koepke
An elementary approach to the fine structure of L
Bull. Symbolic Logic, 3(4):453--468
1997
Page:  
Export as:
BibTeX, XML