Winning strategies and tactics in
club games(to be submitted)
in pdf
Winning strategies and tactics in
club games
(to be submitted)
in pdf
Chang's conjecture may fail at supercompact
cardinals
(submitted)
in dvi
in pdf
Forcing indestructibility of set-theoretic
axioms
Journal of Symbolic Logic 72 (2007)
in dvi
in pdf
Guessing clubs in the generalized club
filter
Fundamenta Mathematicae
195 (2007)
with Paul Larson and Yasuo Yoshinobu
in pdf
Bounding the consistency strength of a five element
linear basis
(accepted to
Israel Journal of Mathematics)
with Paul Larson, Justin Moore, and Boban Velickovic
in pdf
Kurepa-trees and Namba forcing
(submitted)
with Yasuo Yoshinobu
in dvi
in pdf
Dense subtrees in complete Boolean algebras
Mathematical Logic Quarterly 52 (2006)
in pdf
Fragments of Martin's Maximum in generic
extensions
Mathematical Logic Quarterly 50 (2004)
with Yasuo Yoshinobu
in pdf
Generic Compactness Reformulated
Archive for Mathematical Logic 43 (2004)
in dvi
in pdf
Verifying a Behavioural Logic for Graph Transformation
Systems
Electronic Notes in Theoretical Computer Science 104 (2004)
with Paolo Baldan, Andrea Corradini, and Barbara König
in ps
A Logic for Analyzing Abstractions of
Graph Transformation Systems
Lecture notes in Computer Science 2694 (2003)
with Paolo Baldan and Barbara König
in dvi
in pdf
Local Coherence
Annals of Pure and Applied Logic 124 (2003)
in pdf
Trees, Games and
Reflections
Ph.D. thesis (2002)
at LMU
Munich
in pdf
A non-special tree
unpublished note (2001)
in dvi
in pdf