Model theory for infinitary logic: logic with countable conjunctions and finite quantifiers
Provability, Computability and Reflection.
Read More ↓Title Statements
- Full title :Model theory for infinitary logic : logic with countable conjunctions and finite quantifiers / H. Jerome Keisler.
Summary
Provability, Computability and Reflection.
Read More ↓Edition Statements
- Publication Date:1971.
Publication Statements
- Publisher(s):North-Holland Pub. Co
- Place of Publication:Amsterdam
- Language:eng
- Publication Date:1971.
The Physical Object
- Description:1 online resource (x, 208 pages)
Edition Identifiers
- ISBN:9780720422580, 0720422582, 1283525399, 9781283525398, 9786613837844, 6613837849, 0080954758, 9780080954752
- oclc:ocn428097337
- LC Classification:QA9
- Dewey Decimal:511/.3
Table of Contents
Front Cover; Model Theory for Imfinitary Logic; Copyright Page; Table of Contents; PART I; Chapter 1. Introduction; Chapter 2. Scott's Isomorphism Theorem; Chapter 3. Model Existence Theorem; Chapter 4. Completeness Theorem; Chapter 5. Craig Interpolation Theorem; Chapter 6. Lyndon Interpolation Theorem; Chapter 7. Malitz Interpolation Theorem; Chapter 8. Admissible sets; Chapter 9. Barwise Compactness Theorem; Chapter 10. Undefinability of well order; Chapter 11. Omitting Types Theorem; Chapter 12. Prime models; PART II; Chapter 13. Skolem functions and indiscernibles
Read More ↓Subjects
Writers
More from this Series
No reviews yet. Be the first to rate this work.
Related Works
more →
Lectures on algebraic model theory
Forcing, iterated ultrapowers, and turing degrees
Asian Initiative for Infinity (AII) Graduate Logic Summer School, Singapur
Files & Downloads
-
Model Theory for Infinitary Logic: Logic with Cou…
DJVU · 980.5 KB · updated -
Model theory for infinitary logic; logic with cou…
DJVU · 528.7 KB · updated -
Model theory for infinitary logic: logic with cou…
PDF · 6.6 MB · updated -
Model Theory for Infinitary Logic: Logic with Cou…
PDF · 6.2 MB · updated
Rate & Review