A printable version of this syllabus is available here.

Basic constructions: The completeness and compactness theorems. The Löwenheim-Skolem theorem. Omitting types. Ultraproducts. Indiscernible sequences. Nice properties: Saturation, homogeneity, and the monster model. Elimination of imaginaries and Meq. Quantifier elimination. Model completeness. Countably categorical theories. Stable theories: Characterizations of a stable formula. Stable, supers...

(a) Definition of a ∆-system, statement and proof of the ∆-system lemma. (b) Statement of MA (Martin’s Axiom) and MAκ, proof that MAω holds and MAc fails. (c) Definition of a club and a stationary subset of κ, of the club filter and proof that the club filter on a regular cardinal κ is κ-complete. (d) Statement and proof of the Pressing Down Lemma. i. An application: Statement and proof of Thom...

This research is aimed to explore the students’ needs in learning speaking English and redesign syllabus based on order improve skill English.The population of this was second semester students English, Indonesian, Civic Education Math Study Program Faculty Teacher Training Bosowa University Makassar 2021/2022 Academic Year which consisted 40 students.The result questionnaires interviews indica...

INTRODUCTION Starting with a vast number of unstructured or semi-structured documents, text mining tools analyze and sift through them to present to users more valuable information specific to their information needs. The technologies in text mining include information extrac-In this chapter, we share our hands-on experience with one specific text mining task — text classification [Sebastiani, ...