Searching for authors named "Peter Koepke" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

6 documents found, showing 1 through 6.

Turing computations on ordinals
by Peter Koepke — 2005 — Bulletin of Symbolic Logic 11 (2005
…arXiv:math/0502264v1 [math.LO] 13 Feb 2005 Turing Computations on Ordinals Peter Koepke University…
Cited by 9 (4 self) – Add To MetaCart

Computing a model of set theory
by Peter Koepke — 2005 — in: [CoLöTo05
…Computing a Model of Set Theory Peter Koepke Mathematisches Institut, Rheinische Friedrich…
Cited by 2 (1 self) – Add To MetaCart

Infinite time register machines
by Peter Koepke — 2006 — of Lecture Notes in Computer Science
…Infinite Time Register Machines Peter Koepke University of Bonn Mathematisches Institut…
Cited by 1 (1 self) – Add To MetaCart

On the strength of mutual stationarity
by Peter Koepke, Philip Welch — 2006 — Set Theory, Centra de recerca Matematica, Barcelona, 2003-2004, Trends in Mathematics
…On the strength of mutual stationarity Peter Koepke Mathematisches Institut der Universität Bonn…
Cited by 2 (1 self) – Add To MetaCart

An Elementary Approach to the Fine Structure of L
by Sy D. Friedman, Peter Koepke — 1997 — Bull. Symb. Logic
… STRUCTURE OF L SY D. FRIEDMAN AND PETER KOEPKE We present here an approach to the fine structure of L based…
Cited by 4 (4 self) – Add To MetaCart

ILLC-Day 2 in Bonn "Language"
by Bernhard Schröder, Robert van Rooy, Participants Stefan Bold, Patrick Braselmann, Lucas Champollion, Stephan Cursiefen, Paul Dekker, Bernhard Fisseni, Julia Grodel, Tanja Hötte, Peter Koepke, Benedikt Löwe, Michael Möllerfeld, Martin Müller, Henrik Nordmark, Oren Schwartz, Brian Semmes, Merlijn Sevenster, Jip Veldman, Charlotte Wollermann, Henk Zeevat, Henk Zeevat — 2004
… Dekker, Bernhard Fisseni, Michael Franke, Julia Grodel, Tanja Hötte, Christian Kappler, Peter Koepke…
Add To MetaCart

Showing 1 through 6.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB