profile picture

George Weaver

 More details
  •  43
    Hermes algebras
    with Edward Thompson
    Bulletin of the Section of Logic 31 (4): 217-229. 2002.
    Areas of Mathematics
  •  67
    The Fraenkel-Carnap Question for Limited Higher-Order Languages
    with B. George
    Bulletin of the Section of Logic 39 (1/2): 1-9. 2010.
  •  74
    A Note on the Interpolation Theorem in First Order Logic
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 28 (14-18): 215-218. 1982.
    Areas of Mathematics
  •  52
    Simple expansions of classes satisfying Fraenkel-Carnap properties
    with Irena Penev
    Bulletin of the Section of Logic 39 (3/4): 175-186. 2010.
    Areas of Mathematics
  •  66
    From finitary to infinitary second‐order logic
    with Irena Penev
    Mathematical Logic Quarterly 51 (5): 499-506. 2005.
    A back and forth condition on interpretations for those second-order languages without functional variables whose non-logical vocabulary is finite and excludes functional constants is presented. It is shown that this condition is necessary and sufficient for the interpretations to be equivalent in the language. When applied to second-order languages with an infinite non-logical vocabulary, excluding functional constants, the back and forth condition is sufficient but not necessary. It is shown t…Read more
    Areas of Mathematics
  •  66
    Extending ω‐consistent sets to maximally consistent, ω‐complete sets
    with Michael Thau and Hugues Leblanc
    Mathematical Logic Quarterly 36 (5): 381-383. 1990.
    Areas of Mathematics
  •  56
    The Fraenkel‐Carnap question for Dedekind algebras
    with Benjamin George
    Mathematical Logic Quarterly 49 (1): 92-96. 2003.
    It is shown that the second-order theory of a Dedekind algebra is categorical if it is finitely axiomatizable. This provides a partial answer to an old and neglected question of Fraenkel and Carnap: whether every finitely axiomatizable semantically complete second-order theory is categorical. It follows that the second-order theory of a Dedekind algebra is finitely axiomatizable iff the algebra is finitely characterizable. It is also shown that the second-order theory of a Dedekind algebra is qu…Read more
    Areas of Mathematics
  •  77
    Reading proofs with understanding
    Theoria 54 (1): 31-47. 1988.
    Areas of Mathematics
  •  73
    Finite Partitions and Their Generators
    Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 20 (13-18): 255-260. 1974.
    Areas of Mathematics
  •  54
    Fraenkel-Carnap properties
    Mathematical Logic Quarterly 51 (3): 285. 2005.
    In the 1920's Fraenkel and Carnap raised the question of whether or not every finitely axiomatizable semantically complete theory formulated in the theory of types is categorical. Partial answers to this and a related question are presented for theories formulated in second-order logic
    Areas of Mathematics