Agnes Scott College

Carol Karp

Languages with Expressions of Infinite Length
University of Southern California, 1959

Table of Contents

  1. Implicatitve Models and Conjuntive Implicative Models
    1. Embedding Implicative Models in Conjunctive Implicative Models
    2. Embedding Conjunctive Implicative Models in Brouwerian Algebras
       
  2. A Formulation of Languages with WFFS of Infinite Length
    1. Infinitary Expressions
    2. Description of Languages Lαβ
    3. Free and Bound Variables, Substitution, in Lαβ
       
  3. Algebraically Complete Formalizations for Languages with WFFS of Infinite Length
    1. Formal Systems Pα(E), Fαβ(E)
    2. An Algebraic Characterization of Provability in Pα(E), Fαβ(E)
    3. An Algebraic Characterization of Provability in Systems Pα(E), Fαβ(E) with Negation
       
  4. Semantically Complete Formalizations for Languages with WFFS of Infinite Length
    1. Semantically Complete Formalizations for Languages Pα
    2. Formalizations for Pα and the Theory of α-complete Boolean Algebras
    3. Semantically Complete Formalizations for Languages Fαβ