Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Kurepa trees and Namba forcing. | 3 | 0.55 | 2012 |
| Winning strategies in club games and their applications | 1 | 0.67 | 2011 |
| Forcing indestructibility of set-theoretic axioms | 1 | 0.40 | 2007 |
| Dense subtrees in complete Boolean algebras | 1 | 0.43 | 2006 |
| Verifying a Behavioural Logic for Graph Transformation Systems | 9 | 0.64 | 2004 |
| Generic compactness reformulated | 0 | 0.34 | 2004 |
| Fragments of Martin's Maximum in generic extensions | 7 | 1.11 | 2004 |
| Local coherence | 1 | 0.46 | 2003 |
| A logic for analyzing abstractions of graph transformation systems | 21 | 1.24 | 2003 |