Math 512: Finite Model Theory

Notes on Specific Topics

• Games and quantifier depth (postscript)
• Games and quantifier depth (dvi)
• Relative pseudo-elementary and r.e.(postscript)
• Relative pseudo-elementary and r.e.(dvi)
• Descriptive Complexity(dvi)
• Descriptive Complexity(postscript)
• Monadic Sigma-1-1 and Hanf's theorem(dvi)
• Monadic Sigma-1-1 and Hanf's theorem(postscript)
• Fixed Point Logics: IFP=LPF (dvi)
• Fixed Point Logics: IFP=LPF (postscript)
• Fixed Point Logics and PTIME: (dvi)
• Fixed Point Logics and PTIME:(postscript)
• 01-Laws: constant p (dvi)
• 01-Laws: constant p (postscript)
• k-variable logics (dvi)
• 01-Laws: k-variable logics (dvi)
• 01-Laws: generalized quantifiers (dvi)