Algebraic.net
Home  - Theorems_And_Conjectures - Completeness Theorem
  
Images 
Newsgroups
61-78 of 78    Back | 1  | 2  | 3  | 4 

         Completeness Theorem:     more detail
  1. Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) by Jane Bridge, April, 1985
  2. Uncountably Categorical Theories (Translations of Mathematical Monographs, Vol 117) by Boris Zilber, July, 1997
  3. Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Godel's Theorums (Synthese Library, 286) by Roman Murawski, November, 1999
  4. Polynomial Completeness in Algebraic Systems by Kalle Kaarli, Alden F. Pixley, 21 July, 2000
  5. Mathematical Logic : A course with exercises -- Part I -- Propositional Calculus, Boolean Algebras, Predicate Calculus, Completeness Theorems by Rene Cori, Daniel Lascar, et all November, 2000
  6. Funkcje rekurencyjne i elementy metamatematyki : problemy zupe±nosci, rozstrzygalnosci, twierdzenia Gödla by Roman Murawski,
  7. Una prueba algebraica de los teoremas de Skolem-Löwenheim y Gödel by José F. Prida,
  8. Completeness properties of classical theories of finite type and the normal form theorem by Peter Päppinghaus,
  9. Beginning Model Theory: The Completeness Theorem and Some Consequences (Oxford Logic Guides) by Jane Bridge, April, 1985
  10. Uncountably Categorical Theories (Translations of Mathematical Monographs, Vol 117) by Boris Zilber, July, 1997

61-78 of 78    Back | 1  | 2  | 3  | 4 

contact: support@algebraic.net