Prof. Dr. Peter Koepke
Older Preprints
2005
- Turing computations on ordinals. Bulletin of Symbolic Logic 11 (2005), 377-397 pdf
- (with Ralf Schindler) Homogeneously Souslin sets in small inner models. Archive for Mathematical Logic 45 (2005), 53-61 pdf
- Simplified constructibility theory: minicourse Helsinki, March 2005. Graduate texts in mathematics, University of Helsinki 5 (2005), 30 pages pdf
- (with Patrick Braselmann) A formal proof of Gödel's completeness
theorem. A series of seven articles, Formalized Mathematics
13 (2005), 5-53:
- Substitution in first-order formulas: elementary properties pdf
- Coincidence lemma and substitution lemma pdf
- Substitution in first-order formulas. Part II. The construction of first-order formulas pdf
- A sequent calculus for first order logic pdf
- Consequences of the sequent calculus, pdf
- Equivalences of inconsistency and Henkin models pdf
- Gödel's completeness theorem pdf
- (with Marc van Eijmeren) A refinement of Jensen's constructible hierarchy. In Foundations of the Formal Sciences III, B. Löwe et al., eds., Kluwer (2004), 159-169 pdf
- (with Bernhard Schröder) ProofML - eine Annotationssprache für natürliche Beweise. LDV-Forum 18, part III (2003) pdf
- A new finestructural hierarchy for the constructible universe. CRM preprints, Barcelona 554 (2003), 26 pages, pdf
- (with Vladimir Kanovei) Deskriptive Mengenlehre in Hausdorffs Grundzügen der Mengenlehre. In: Egbert Brieskorn et. al. (eds.), Felix Hausdorff - Gesammelte Werke, Band II, Springer-Verlag, Heidelberg, pdf
- The category of inner models. Synthese 133 (1-2), 275-303, pdf
- (with Bernhard Schröder) Natürlich formal. In: G. Willée et. al. (ed.), Computational Linguistics - Achievements and Perspectives, Gardez!-Verlag, pdf
- An iteration model violating the singular cardinals hypothesis. In: Barry Cooper et. al. (eds.), Sets and Proofs, London Math. Soc. Lect. Note Series 258, Cambridge University Press, 95-102, pdf
- Extenders, embedding normal forms, and the Martin-Steel-Theorem. Journal of Symbolic Logic 63, 1137-1176, pdf
- An elementary approach to the fine structure of L. Bulletin of Symbolic Logic 4, 453-468, pdf
- Embedding normal forms and Pi^1_1-determinacy. In Wilfrid Hodges et. al. (eds.), Logic: from foundations to applications, Clarendon Press, 215-224, pdf
- Metamathematische Aspekte der Hausdorffschen Mengenlehre. In Egbert Brieskorn (ed.), Felix Hausdorff zum Gedächtnis, Band 1, Vieweg, 71-106, pdf
- (with Juan Carlos Martinez) Superatomic algebras constructed from morasses. Journal of Symbolic Logic 60, 940-951, pdf
- On the elimination of Malitz quantifiers over Archimedian real closed fields. Archive for Mathematical Logic 28, 167-171, pdf
- On the free subset property at singular cardinals. Archive for Mathematical Logic 28, 43-55, pdf
- Some applications of short core models. Annals of Pure and Applied Logic 37 (1988), 179-204, pdf
- The consistency strength of the free-subset property for omega_omega. Journal of Symbolic Logic 49, 1198-1204, pdf
- (with H.-D. Donder) On the consistency strength of 'accessible' Jonsson cardinals and of the weak Chang conjecture. Annals of Pure and Applied Logic 25 (1983), 233-261, pdf