| |
| 2008 | ||
|---|---|---|
| 13 | EE | Harold Simmons: Fruitful and helpful ordinal functions. Arch. Math. Log. 47(7-8): 677-709 (2008) |
| 2007 | ||
| 12 | EE | Harold Simmons: A coverage construction of the reals and the irrationals. Ann. Pure Appl. Logic 145(2): 176-203 (2007) |
| 2006 | ||
| 11 | EE | Harold Simmons: Regularity, Fitness, and the Block Structure of Frames. Applied Categorical Structures 14(1): 1-34 (2006) |
| 2005 | ||
| 10 | EE | Harold Simmons: Tiering as a recursion technique. Bulletin of Symbolic Logic 11(3): 321-350 (2005) |
| 2004 | ||
| 9 | EE | Harold Simmons: A comparison of two systems of ordinal notations. Arch. Math. Log. 43(1): 65-84 (2004) |
| 2002 | ||
| 8 | William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 67(2): 505-527 (2002) | |
| 2001 | ||
| 7 | William P. R. Mitchell, Harold Simmons: Monoid Based Semantics for Linear Formulas. J. Symb. Log. 66(4): 1597-1619 (2001) | |
| 1994 | ||
| 6 | Harold Simmons: The Monotonous Elimination of Predicate Variables. J. Log. Comput. 4(1): 23-68 (1994) | |
| 5 | Harold Simmons: The Glueing Construction and Lax Limits. Mathematical Structures in Computer Science 4(4): 393-431 (1994) | |
| 1991 | ||
| 4 | EE | Harold Simmons: Generalized deviations of posets. Discrete Mathematics 98(2): 123-139 (1991) |
| 1988 | ||
| 3 | Harold Simmons: Large Discrete Parts of the E-Tree. J. Symb. Log. 53(3): 980-984 (1988) | |
| 1976 | ||
| 2 | Harold Simmons: Large and Small Existentially Closed Structures. J. Symb. Log. 41(2): 379-390 (1976) | |
| 1972 | ||
| 1 | Harold Simmons: Existentially Closed Structures. J. Symb. Log. 37(2): 293-310 (1972) | |
| 1 | William P. R. Mitchell | [7] [8] |