Carol Karp

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

Table of Contents

1. Implicative 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_αβ

---