Peter Koepke

发表

Computing a Model of Set Theory

Peter Koepke, 2005, CiE.

Ordinal Computability

Peter Koepke, P. Koepke, 2009, CiE.

An elementary approach to the fine structure of L

Sy-David Friedman, Peter Koepke, 1997, Bull. Symb. Log..

The Category of Inner Models

Peter Koepke, 2004, Synthese.

Peter Koepke, Ryan Siders, P. Koepke, 2008, Arch. Math. Log..

Superatomic Boolean Algebras Constructed from Morasses

Peter Koepke, Juan Carlos Martínez, 1995, J. Symb. Log..

Transition of Consistency and Satisfiability under Language Extensions

Peter Koepke, Julian J. Schlöder, P. Koepke, 2012, Formaliz. Math..

The first measurable cardinal can be the first uncountable regular cardinal at any successor height

Arthur W. Apter, Peter Koepke, Ioanna M. Dimitriou, 2014, Math. Log. Q..

Patterns: Inside the Design Library

Peter Koepke, 2016 .

All uncountable cardinals in the Gitik model are almost Ramsey and carry Rowbottom filters

Arthur W. Apter, Peter Koepke, Ioanna M. Dimitriou, 2016, Math. Log. Q..

Turing computations on ordinals

Peter Koepke, P. Koepke, 2005, Bull. Symb. Log..

On the elimination of Malitz quantifiers over Archimedian real closed fields

Peter Koepke, 1989, Arch. Math. Log..

Ordinal computations

Peter Koepke, Martin Koerwien, 2006, Math. Struct. Comput. Sci..

Making all cardinals almost Ramsey

Arthur W. Apter, Peter Koepke, 2008, Arch. Math. Log..

Global square and mutual stationarity at the alephn

Philip D. Welch, Peter Koepke, 2011, Ann. Pure Appl. Log..

Interpreting Mathematical Texts in Naproche-SAD

Peter Koepke, Adrian De Lon, Anton Lorenzen, 2020, CICM.

The Gödel Completeness Theorem for Uncountable Languages

Peter Koepke, Julian J. Schlöder, 2012, Formaliz. Math..

Know Your Standard: Clarifying the CIE Erythema Action Spectrum

Peter Koepke, Ann R Webb, Harry Slaper, 2011, Photochemistry and photobiology.

Logic Colloquium '02 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic and the Colloquium Logicum, held in Münster, Germany, August 3-11, 2002

Logic Colloquium, Peter Koepke, Wolfram Pohlers, 2016 .

A refinement of Jensen's constructible hierarchy

Peter Koepke, Marc van Eijmeren, 2001, FotFS.

The Consistency Strength of $$\aleph_{\omega}$$ and $$\aleph_{{\omega}_1}$$ Being Rowbottom Cardinals Without the Axiom of Choice

Arthur W. Apter, Peter Koepke, 2006, Arch. Math. Log..

The Naproche Project: Controlled Natural Language Proof Checking of Mathematical Texts

Peter Koepke, Marcos Cramer, Bernhard Schröder, 2009, CNL.

Extenders, Embedding Normal Forms, and the Martin-Steel-Theorem

Peter Koepke, 1998, J. Symb. Log..

On the free subset property at singular cardinals

Peter Koepke, 1989, Arch. Math. Log..

Automatic Proof-Checking of Ordinary Mathematical Texts

Peter Koepke, Steffen Frerix, P. Koepke, 2018, CICM Workshops.

Atmospheric correction for low-altitude airplane measurements

Peter Koepke, Frank Wagner, 2003, SPIE Remote Sensing.

A Generalised Dynamical System, Infinite Time Register Machines, and $\Pi^1_1$ -CA0

Philip D. Welch, Peter Koepke, P. Koepke, 2011, CiE.

Textbook Mathematics in the Naproche-SAD System

Peter Koepke, P. Koepke, 2019, CICM Workshops.

Infinite Time Register Machines

Peter Koepke, P. Koepke, 2006, CiE.

Premise Selection in the Naproche System

Peter Koepke, Marcos Cramer, Bernhard Schröder, 2010, IJCAR.

The Consistency Strength of InlineEquation ID=" IEq1"> EquationSource Format=" TEX"> ImageObject Color=" BlackWhite" FileRef=" 15320065ArticleIEq1. gif" Format=" GIF" Rendition=" HTM" Type=" Linedraw"/> and

Arthur W. Apter, Peter Koepke, 2006 .

The consistency strength of choiceless failures of SCH

Arthur W. Apter, Peter Koepke, P. Koepke, 2010, The Journal of Symbolic Logic.

Covering Properties of Core Models

William J. Mitchell, Ernest Schimmerling, John R. Steel, 2004 .

Towards a Theory of Infinite Time Blum-Shub-Smale Machines

Benjamin Seyfferth, Peter Koepke, P. Koepke, 2012, CiE.

The basic theory of infinite time register machines

Merlin Carl, Peter Koepke, Tim Fischbach, 2010, Arch. Math. Log..

Hyperfine structure theory and gap 1 morasses

Sy-David Friedman, Peter Koepke, Boris Piwinger, 2006, Journal of Symbolic Logic.

Parsing and Disambiguation of Symbolic Mathematics in the Naproche System

Peter Koepke, Marcos Cramer, Bernhard Schröder, 2011, Calculemus/MKM.

Minimality considerations for ordinal computers modeling constructibility

Peter Koepke, Ryan Siders, P. Koepke, 2008, Theor. Comput. Sci..

The consistency strength of the free-subset property for ωω

Peter Koepke, P. Koepke, 1984, Journal of Symbolic Logic.

Logic Colloquium '02: Lecture Notes in Logic 27 : Lecture Notes in Logic 27

Peter Koepke, Wolfram Pohlers, Zoe Chatzidakis, 2006 .

Measuring UV radiation on inclined surfaces

Peter Koepke, Meinhard Seefeldner, Dieter Rabus, 2003, SPIE Optics + Photonics.

A minimal Prikry-type forcing for singularizing a measurable cardinal

Philipp Schlicht, Peter Koepke, Karen Räsch, 2013, The Journal of Symbolic Logic.

ProofML - eine Annotationssprache für natürliche Beweise

Peter Koepke, Bernhard Schröder, 2003, LDV Forum.

UV spectral radiometer on filter-model basis (UV-SPRAFIMO)

Anton Kaifel, Peter Koepke, Uwe Feister, 2003, SPIE Optics + Photonics.

Ordinal machines and admissible recursion theory

Benjamin Seyfferth, Peter Koepke, P. Koepke, 2009, Ann. Pure Appl. Log..

On the consistency strength of 'Accessible' Jonsson Cardinals and of the Weak Chang Conjecture

Peter Koepke, Hans-Dieter Donder, P. Koepke, 1983, Ann. Pure Appl. Log..

An Enhanced Theory of Infinite Time Register Machines

Peter Koepke, Russell G. Miller, P. Koepke, 2008, CiE.

Some applications of short core models

Peter Koepke, 1988, Ann. Pure Appl. Log..

Homogeneously Souslin sets in small inner models

Ralf Schindler, Peter Koepke, 2006, Arch. Math. Log..

Beautiful Formalizations in Isabelle/Naproche

Peter Koepke, Adrian De Lon, Anton Lorenzen, 2021, CICM.

The Isabelle/Naproche Natural Language Proof Assistant

Peter Koepke, Markus Wenzel, Adrian De Lon, 2021, CADE.

A Natural Formalization of the Mutilated Checkerboard Problem in Naproche

Peter Koepke, Adrian De Lon, Anton Lorenzen, 2021, ITP.

An Introduction to Extenders and Core Models for Extender Sequences

Peter Koepke, 1989 .

Comparison of Measured and Modelled UV Indices

Thomas Frei, Peter Koepke, Bernhard Mayer, 2001 .

Ash's theorem for abstract structures

Peter Koepke, Ivan N. Soskov, Wolfram Pohlers, 2016 .

Effects of altitude and aerosol on UV radiation

Peter Koepke, Jochen Reuder, P. Koepke, 2006 .

International Photolysis Frequency Measurement and Model Intercomparison (IPMMI): Spectral actinic solar flux measurements and modeling

Arve Kylling, Peter Koepke, Nickolay A. Krotkov, 2003 .

Computable versions of the uniform boundedness theorem

Peter Koepke, Vasco Brattka, Wolfram Pohlers, 2016 .

Airborne measurements of dust layer properties, particle size distribution and mixing state of Saharan dust during SAMUM 2006

Martin Wirth, Peter Koepke, Michael Esselborn, 2009 .

Atmospheric Aerosols: Global Climatology and Radiative Characteristics

Eric P. Shettle, Peter Koepke, P. Koepke, 1991 .

Forcing a mutual stationarity property in cofinality

Peter Koepke, 2007 .

Correlation of aerosol mass near the ground with aerosol optical depth during two seasons in Munich

Stefan Emeis, Peter Koepke, Klaus Schäfer, 2008 .

Technical Note: Optical properties of desert aerosol with non-spherical mineral particles: data incorporated to OPAC

Peter Koepke, Josef Gasteiger, Michael Hess, 2015 .

A Sequent Calculus for First-Order Logic 1

Peter Koepke, Patrick Braselmann, 2005 .

Spectral aerosol optical depth characterization of desert dust during SAMUM 2006

Detlef Müller, Peter Koepke, Josef Gasteiger, 2009 .

Gödel’s Completeness Theorem

Peter Koepke, P. Koepke, Patrick Braselmann, 2002 .

Comparison of measured and modelled uv indices for the assessment of health risks

Thomas Frei, Peter Koepke, Bernhard Mayer, 2001 .

Technical Note: Optical properties of desert dust with non-spherical particles: data incorporated to OPAC

Peter Koepke, Josef Gasteiger, Michael Hess, 2015 .

Uncertainties in modeled UV irradiances due to limited accuracy and availability of input data

Peter Koepke, Harry Schwander, P. Koepke, 1997 .

Removal of Atmospheric Effects prom AVHRR Albedos

Peter Koepke, P. Koepke, 1989 .

Modification of spectral UV irradiance by clouds

Anton Kaifel, Peter Koepke, Gunther Seckmeyer, 2002 .

Photolysis frequency of O to O( D): Measurements and modeling during the International Photolysis Frequency Measurement and Modeling Intercomparison (IPMMI)

Arve Kylling, Peter Koepke, Bernhard Mayer, 2003 .

On the Strength of Mutual Stationarity

Philip D. Welch, Peter Koepke, 2006 .

Modelling the direct effect of aerosols in the solar near-infrared on a planetary scale

Paul W. Stackhouse, Peter Koepke, Christos Matsoukas, 2006 .

The reflectance factors of a rough ocean with foam—comment on ‘Remote sensing of the sea state using the 0·8-1·1 μm spectral band’ by L. Wald and J. M. Monget

Peter Koepke, P. Koepke, 1985 .

Martin-Löf random and PA-complete sets

Frank Stephan, Peter Koepke, Wolfram Pohlers, 2016 .