| |
| 2005 | ||
|---|---|---|
| 11 | EE | George Weaver, Benjamin George: Fraenkel-Carnap properties. Math. Log. Q. 51(3): 285-290 (2005) |
| 10 | EE | George Weaver, Irena Penev: From finitary to infinitary second-order logic. Math. Log. Q. 51(5): 499-506 (2005) |
| 9 | EE | George Weaver: Compactness in Equational Logic. Reports on Mathematical Logic 39: 25-46 (2005) |
| 2003 | ||
| 8 | EE | George Weaver, Benjamin George: The Fraenkel-Carnap question for Dedekind algebras. Math. Log. Q. 49(1): 92-96 (2003) |
| 7 | George Weaver: The First-Order Theories of Dedekind Algebras. Studia Logica 73(3): 337-365 (2003) | |
| 2000 | ||
| 6 | George Weaver: Homogeneous and Universal Dedekind Algebras. Studia Logica 64(2): 173-192 (2000) | |
| 1998 | ||
| 5 | George Weaver, David Lippel: Classifying [aleph]o-Categorical Theories II: The Existence of Finitely Axiomatizable Proper Class II Theories. Studia Logica 60(2): 275-297 (1998) | |
| 1994 | ||
| 4 | George Weaver: Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems. Studia Logica 53(2): 325-342 (1994) | |
| 1992 | ||
| 3 | George Weaver: Unifying Some Modifications of the Henkin Construction. Notre Dame Journal of Formal Logic 33(3): 450-464 (1992) | |
| 1991 | ||
| 2 | Hugues Leblanc, Peter Roeper, Michael Thau, George Weaver: Henkin's Completeness Proof: Forty Years Later. Notre Dame Journal of Formal Logic 32(2): 212-232 (1991) | |
| 1986 | ||
| 1 | George Weaver, Jeffrey Welaish: Back and Forth Constructions in Modal Logic: An Interpolation Theorem for a Family of Modal Logics. J. Symb. Log. 51(4): 969-980 (1986) | |
| 1 | Benjamin George | [8] [11] |
| 2 | Hugues Leblanc | [2] |
| 3 | David Lippel | [5] |
| 4 | Irena Penev | [10] |
| 5 | Peter Roeper | [2] |
| 6 | Michael Thau | [2] |
| 7 | Jeffrey Welaish | [1] |