- Peter Kpke, Bernhard Schrder Natrlich formal
- -Recursion Theory and Ordinal Com-by Peter Koepke
- Degrees of subsets of the measurable cardinal in Prikry generic extensions
- On the strength of mutual stationarity Peter Koepke
- ORDINALS, COMPUTATIONS, AND MODELS OF SET THEORY PETER KOEPKE
- Arch. Math. Logic (2006) 45:721737 DOI 10.1007/s00153-006-0005-3 Mathematical Logic
- Naturalness in Formal Mathematics by Peter Koepke
- An Enhanced Theory of Infinite Time Register Peter Koepke1
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- The Consistency Strength of the Free-Subset Property for # # Peter Koepke
- Ordinal Machines and Admissible Recursion Peter Koepke and Benjamin Seyfferth
- Making All Cardinals Almost Ramsey Arthur W. Apter
- Ordinalize! Peter Koepke
- Arch. Math. Logic(1989)28:167-171 Archive for
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- A New Finestructural Hierarchy for the Constructible Universe
- Digital Object Identifier (DOI): 10.1007/s00153-005-0301-3
- Minimality Considerations for Ordinal Computers Modeling Constructibility
- Global Square and Mutual Stationarity at the n Peter Koepke
- Premise Selection in the Naproche System Marcos Cramer, Peter Koepke, Daniel Kuhlwein, and Bernhard Schroder
- The Naproche Project Controlled Natural Language Proof Checking
- Ordinal Computability by Peter Koepke
- Archive for Mathematical Logic manuscript No. (will be inserted by the editor)
- The Journal of Symbolic Logic Volume 71, Number 2, June 2006
- Math. Struct. in Comp. Science (2006), vol. 16, pp. 118. c 2006 Cambridge University Press doi:10.1017/S0960129506005615 Printed in the United Kingdom
- Computing the Recursive Truth Predicate on Ordinal Register Machines
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- Benedikt Lowe, Wolfgang Malzkorn, Thoralf Rasch Foundations of the Formal Sciences II
- Bernhard Schrder, Peter Koepke ProofML eine Annotationssprache fr natrliche Beweise
- Deskriptive Mengenlehre in Hausdorffs Grundzugen der Mengenlehre
- PETER KOEPKE THE CATEGORY OF INNER MODELS
- Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem Peter Koepke
- An Elementary Approach to the Fine Structure of L Sy D. Friedman; Peter Koepke
- Embedding Normal Forms and 1Determinacy
- Arch. Math. Logic (1989)28:43-55 Mathematical
- Computing a Model of Set Theory Peter Koepke
- Noname manuscript No. (will be inserted by the editor)
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- The Bulletin of Symbolic Logic Volume 11, Number 3, Sept. 2005
- Peter Koepke GDEL'S COMPLETENESS THEOREM WITH
- FORMALIZED MATHEMATICS Volume 13, Number 1, 2005
- Infinite Time Register Machines Peter Koepke
- An Iteration Model violating the Singular Cardinals Peter Koepke
- A Generalised Dynamical System, Infinite Time Register Machines, and 1
- Parsing and Disambiguation of Symbolic Mathematics in the Naproche System
- The Naproche System D. Kuhlwein, M. Cramer, P. Koepke, and B. Schroder
- The Journal of Symbolic Logic Volume 75, Number 3, Sept. 2010
- Annals of Pure and Applied Logic 25 (1983) 233-261 North-Holland
- Towards a theory of infinite time Blum-Shub-Smale machines Peter Koepke and Benjamin Seyfferth
- The Naproche Project Controlled Natural Language Proof Checking
- Annalsof Pureand Applied Logic37(1988)179-204 North-Holland
- THE FIRST MEASURABLE CARDINAL CAN BE THE FIRST UNCOUNTABLE REGULAR CARDINAL AT ANY SUCCESSOR
