Welcome to Scribd, the world's digital library. Read, publish, and share books and documents. See more
Download
Standard view
Full view
of .
Look up keyword or section
Like this
1Activity

Table Of Contents

Preliminaries
1.1 Mathematical Logic: a brief overview
1.2 Sets and Maps
Basic Concepts of Logic
2.1 Propositional Logic
2.2. COMPLETENESS FOR PROPOSITIONAL LOGIC 19
2.2 Completeness for Propositional Logic
2.3 Languages and Structures
2.4 Variables and Terms
2.5 Formulas and Sentences
2.6 Models
2.7. LOGICAL AXIOMS AND RULES; FORMAL PROOFS 37
2.7 Logical Axioms and Rules; Formal Proofs
3.2 Proof of the Completeness Theorem
3.3. SOME ELEMENTARY RESULTS OF PREDICATE LOGIC 49
3.3 Some Elementary Results of Predicate Logic
3.4. EQUATIONAL CLASSES AND UNIVERSAL ALGEBRA 53
3.4 Equational Classes and Universal Algebra
Some Model Theory
4.1 L¨owenheim-Skolem; Vaught’s Test
4.2 Elementary Equivalence and Back-and-Forth
4.3 Quantifier Elimination
4.4 Presburger Arithmetic
4.5. SKOLEMIZATION AND EXTENSION BY DEFINITION 73
4.5 Skolemization and Extension by Definition
5.1 Computable Functions
5.2 The Church-Turing Thesis
5.3. PRIMITIVE RECURSIVE FUNCTIONS 87
5.3 Primitive Recursive Functions
5.4 Representability
5.5 Decidability and G¨odel Numbering
5.6 Theorems of G¨odel and Church
5.7. A MORE EXPLICIT INCOMPLETENESS THEOREM 103
5.7 A more explicit incompleteness theorem
0 of .
Results for:
No results containing your search query
P. 1
Math570notes__mathematicalLogicModelTheory

Math570notes__mathematicalLogicModelTheory

Ratings: (0)|Views: 13|Likes:
Published by woodbrent7
math
math

More info:

Published by: woodbrent7 on Apr 22, 2013
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as PDF, TXT or read online from Scribd
See more
See less

09/13/2013

pdf

text

original

You're Reading a Free Preview
Pages 4 to 46 are not shown in this preview.
You're Reading a Free Preview
Pages 50 to 103 are not shown in this preview.
You're Reading a Free Preview
Pages 107 to 112 are not shown in this preview.

You're Reading a Free Preview

Download
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->