# Logic II, 7.5 ECTS

Second level## Facts

**Course code**MM7022

## Syllabus

**Special eligibility requirements**

Admission to the course requires knowledge equivalent to 60 credits in mathematics. Admission also requires either the course Mathematics III - Logic, 7.5 credits (MM5024) or the two courses Metalogic: Completeness, 7.5 credits (FILOG3) and Metalogic: Incompleteness and undecidability, 7.5 credits (FILOG4), or equivalent.

## Description

The course covers: • Fundamentals and set theory: The Zermelo-Fraenkel axioms of set theory, elementary theory for cardinals and ordinals. Equivalent formulations of the axiom of choice and its applications in analysis and algebra. • Structures and models: Isomorphisms and embeddings, complete theories, elementary equivalence and elementary embedding, Löwenheim-Skolem’s theorems, categoricality, applications on algebraic theories and non-standard analysis. • Computability and incompleteness: Models of computation, classes of computable functions, decidable and irreversible problems, Gödel coding and Gödel’s incompleteness theorem.

## Area of interests: Science and Mathematics

Science and mathematics help us understand how the world around us is connected – from the origin and structure of the universe, to the development and function of humanity and all other organisms on earth. Scientific knowledge makes it possible to critically examine the credibility of information in different areas of everyday life, society, and the media. As a scientist or mathematician, you will be attractive on a large job market that covers all parts of society and includes everything from pure technology companies to environment and healthcare, as well as research.

## Subject

### Mathematics

As a mathematical theory always implies that certain conclusions hold under certain given conditions, it can in principle say nothing about the physical reality. None the less mathematics has become an indispensable tool for a large number of subjects like astronomy, physics, chemistry, statistics and the technical sciences and in later times also for economy, biology, various social sciences and computor science. The role of mathematics in the applied sciences is both to supply notions for exact and adequate formulations of empirical laws but also from these laws to derive consequences, which can be used to find better models of the reality one has to describe. These tasks have lately become more important. Mathematics is in continual progress by intensive international research, new theories are created and already existing theories are simplified and augmented.

## Course events

### Autumn 2018

**Selection:**
No selection.

**Start period:**
Period 2 - starts during the second half of the semester

**Location:**
Stockholm

**Additional information:**
Application deadline 16 April.

**Appl.code: SU-48110**

### Tuition fees only concern citizens outside the EU, EES and Switzerland

**Total course/programme fee:**
17500 SEK