George Weaver

	2005
11		George Weaver, Benjamin George: Fraenkel-Carnap properties. Math. Log. Q. 51(3): 285-290 (2005)
10		George Weaver, Irena Penev: From finitary to infinitary second-order logic. Math. Log. Q. 51(5): 499-506 (2005)
9		George Weaver: Compactness in Equational Logic. Reports on Mathematical Logic 39: 25-46 (2005)
	2003
8		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)

Coauthor Index

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]

Colors in the list of coauthors