LARA

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
sav08:lecture10 [2008/03/20 11:22]
vkuncak
sav08:lecture10 [2008/03/20 19:07]
vkuncak
Line 19: Line 19:
 [[Herbrand'​s Expansion Theorem]] [[Herbrand'​s Expansion Theorem]]
  
-[[Semidecision Procedure for First-Order Logic without Equality]] +[[Semidecision Procedure for First-Order Logic (without Equality)]]
- +
-[[Undecidability of First-Order Logic]] +
- +
-[[Incorporating Equality]] +
- +
-[[Theorems on Cardinalities of Models]] +
- +
-[[Complete Recursive Axiomatizations]]+
  
 [[Compactness for First-Order Logic]] [[Compactness for First-Order Logic]]
  
-===== Resolution ​in First-Order Logic ===== +Continued ​in [[lecture11]].
- +
-[[Unification]] +
- +
-[[Resolution for First-Order Logic]] +
- +
-[[Completeness of Resolution for First-Order Logic]] +
- +
-[[Interpolation for First-Order Logic]] +