George Weaver (weaver-g)

Contributions to Philosophie.ch

Bibliography

Leblanc, Hugues, Roeper, Thomas, Thau, Michael and Weaver, George. 1991. “Henkin’s Completeness Proof: Forty Years Later.” Notre Dame Journal of Formal Logic 32: 212–232.
Leblanc, Hugues and Weaver, George. 1973. “Truth-Functionality and the Ramified Theory of Types.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 148–167. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Weaver, George. 1973a. “A Note on Compactness and Decidability.” Logique et Analyse 16(63–64): 315–319.
Weaver, George. 1973b. “Logical Consequence in Modal Logic: Alternative Semantic Systems for Normal Modal Logics.” in Truth, Syntax and Modality. Proceedings of the Temple University Conference on Alternative Semantics, edited by Hugues Leblanc, pp. 308–317. Studies in Logic and the Foundations of Mathematics n. 68. Amsterdam: North-Holland Publishing Co.
Weaver, George. 1975. “Tarski-Vaught and Löwenheim-Skolem Numbers.” Logique et Analyse 18(69–70): 113–125.
Weaver, George. 1997. Henkin-Keisler Models. Dordrecht: Kluwer Academic Publishers.
Weaver, George. 1998. “Structuralism and Representation Theorems.” Philosophia Mathematica 6(3): 257–271.
Weaver, George. 2011. “A General Setting for Dedekind’s Axiomatization of the Positive Integers.” History and Philosophy of Logic 32(4): 375–398.
Weaver, George. 2017. “König’s Infinity Lemma and Beth’s Tree Theorem.” History and Philosophy of Logic 38(1): 48–56.