Mathematics programme

Open Logic languages
English programme — C80
Program Bahasa Indonesia — C80
Authoritative original — Open Logic complete PDF

Skip to main content

The Open Logic Text — accessible offline edition

Model Theory

Chapters

Basics of Model Theory
Models of Arithmetic
The Interpolation Theorem
Lindström's Theorem

Accessibility adaptation of The Open Logic Text by The Open Logic Project, source commit 9620cc73f9c8e0ad003c514a5d3748f29611c4c0, under CC BY 4.0.

Attribution, license, and change notice · Changes and reader corrections