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

Table Of Contents

K¨onig’s Lemma
1.1 Two ways of looking at mathematics
1.2 Examples and exercises
1.3 K¨onig’s Lemma and reverse mathematics*
Posets and maximal elements
2.1 Introduction to order
2.2 Examples and exercises
2.3 Zorn’s Lemma and the Axiom of Choice*
Formal systems
3.1 Formal systems
3.2 Examples and exercises
3.3 Post systems and computability*
Deductions in posets
4.1 Proving statements about a poset
4.2 Examples and exercises
4.3 Linearly ordering algebraic structures*
5.1 Boolean algebras
5.2 Examples and exercises
5.3 Boolean algebra and the algebra of Boole*
Propositional logic
6.1 A system for proof about propositions
6.2 Examples and exercises
6.3 Decidability of propositional logic*
7.1 Semantics for propositional logic
7.2 Examples and exercises
7.3 The complexity of satisfiability*
Filters and ideals
8.1 Algebraic theory of boolean algebras
8.2 Examples and exercises
8.3 Tychonov’s Theorem*
8.4 The Stone Representation Theorem*
First-order logic
9.1 First-order languages
9.2 Examples and exercises
9.3 Second- and higher-order logic*
10.1 Proof of completeness and compactness
10.2 Examples and exercises
10.3 The Compactness Theorem and topology*
10.4 The Omitting Types Theorem*
11.1 Countable models and beyond
11.2 Examples and exercises
11.3 Cardinal arithmetic*
Nonstandard analysis
12.1 Infinitesimal numbers
12.2 Examples and exercises
12.3 Overspill and applications*
References
Index
0 of .
Results for:
No results containing your search query
P. 1
Richard W. Kaye - The Mathematics of Logic. A Guide to Completeness Theorems and Their Applications

Richard W. Kaye - The Mathematics of Logic. A Guide to Completeness Theorems and Their Applications

Ratings: (0)|Views: 163 |Likes:
Published by Sermark2
This textbook covers the key material for a typical first course in logic for undergraduates or first year graduate students, in particular, presenting a
full mathematical account of the most important result in logic: the Completeness Theorem for first-order logic. Looking at a series of interesting systems increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum; no background in formal set-theory is required; and the book contains proofs of all the required set theoretical results.
This textbook covers the key material for a typical first course in logic for undergraduates or first year graduate students, in particular, presenting a
full mathematical account of the most important result in logic: the Completeness Theorem for first-order logic. Looking at a series of interesting systems increasing in complexity, then proving and discussing the Completeness Theorem for each, the author ensures that the number of new concepts to be absorbed at each stage is manageable, whilst providing lively mathematical applications throughout. Unfamiliar terminology is kept to a minimum; no background in formal set-theory is required; and the book contains proofs of all the required set theoretical results.

More info:

Categories:Types, Research
Published by: Sermark2 on Apr 16, 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

04/30/2014

pdf

text

original

You're Reading a Free Preview
Pages 5 to 64 are not shown in this preview.
You're Reading a Free Preview
Pages 69 to 90 are not shown in this preview.
You're Reading a Free Preview
Pages 95 to 141 are not shown in this preview.
You're Reading a Free Preview
Pages 146 to 150 are not shown in this preview.
You're Reading a Free Preview
Pages 155 to 217 are not shown in this preview.

Activity (9)

You've already reviewed this. Edit your review.
1 thousand reads
1 hundred reads
scaricascarica liked this
Lars Wirfelt liked this
maccmi0008 liked this
bhn2you liked this
al33426 liked this
Anjum-1-4-1 liked this
johneddlewis liked this

You're Reading a Free Preview

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