The incompleteness phenomenon : a new course in mathematical logic /: a new course in mathematical logic. (1995)

• Record Type: Book
• Further Information: Note: Martin Goldstern, Haim Judah.
• Other Names: Goldstern, Martin; Judah, H (Haim)
• Contents: 1. The Framework of Logic. 1.1. Induction. 1.2. Sentential Logic. 1.3. First Order Logic. 1.4. Proof Systems -- 2. Completeness. 2.1. Enumerability. 2.2. The Completeness Theorem. 2.3. Nonstandard Models of Arithmetic -- 3. Model Theory. 3.1. Elementary Substructures and Chains. 3.2. Ultraproducts and Compactness. 3.3. Types and Countable Models -- 4. The Incompleteness Theorem. 4.1. The Language of Peano Arithmetic. 4.2. The Axioms of Peano Arithmetic. 4.3. Basic Theorems of Number Theory in PA. 4.4. Encoding Finite Sequences of Numbers. 4.5. Godel Numbers. 4.6. Substitution. 4.7. The Incompleteness Theorem. 4.8. Other Axiom Systems. 4.9. Bounded Formulas. 4.10. A Finer Analysis of 4.4 and 4.5. 4.11. More on Recursive Sets and Functions.
• Publisher Details: Place of publication not identified : A K Peters/CRC Press
• Publication Date: 1995
• Extent: 1 online resource (218 pages)
• Subjects: 511.3; Incompleteness theorems; Théorèmes d'incomplétude; Incompleteness theorems; Onvolledigheidsstelling; Gödelscher Unvollständigkeitssatz
• Languages: English
• ISBNs: 9781439863534; 1439863539
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.