INTRODUCTION TO LOGIC AND SET THEORY

Course number: 201-10201, Winter Semester 2000/1

Lecturers

Dr. Ivgenya Ackermann

Office: Mathematics Building, Room 131
Office hours: TBA
Tel.: (07) 6461653

Prof. Ido Efrat

Office: Mathematics Room 106
Office hours: Sunday 15-17
Tel.: (07) 6461627
e-mail: efrat@math.bgu.ac.il

Dr. Rubim Lipyanski

Office: Mathematics Building, Room -104
Office hours: Monday 14-16

Teaching Assistants

Yona Maisel

Office: Mathematics Building, Room 129
Office hours: TBA

Hen Dubi

Office: Mathematics Building, Room 129
Office hours: TBA

Victoria Lubitch

Office: TBA
Office hours: TBA

Expected Course Syllabus

Part I: Basic notions in set Theory

Sets, Set operations, relations, equivalence relations and partitions, functions, induction principles, partial and total orderings

Part II: Propositional Calculus

Truth tables, truth values, logical equivalence, disjunctive normal forms, complete connector systems

Part III: Predicate Calculus

Its language, formulas, structures, satisfaction, normal forms, definability, isomorphisms of structures

Part IV: Cardinal Arithmetic

bijections, cardinal numbers and equi-cardinality, the Cantor-Bernstein theorem, |A|<|P(A)|, cardinal arithmetic, fundamental examples (Q, R, P(N), ...), the diagonalization argument, countable sets, Zorn's lemma and the Axiom of choice