Get The Birth of Model Theory now with O’Reilly online learning.
O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.
Chapter 1. Algebra of Classes and Propositional Calculus
Chapter 2. The Theory of Relatives
2.2 Basic concepts of the theory of relatives
2.3 Basic postulates of the theory of relatives
2.4 Theory of relatives and model theory
2.5 First-order logic of relatives
Chapter 3. Changing the Order of Quantifiers
3.1 Schröder's proposal
3.2 Löwenheim's approach
3.3 The problem of expansions
3.4 Skolem functions
Chapter 4. The Löwenheim Normal Form
4.1 The Löwenheim normal form of an equation
4.2 Comments on Löwenheim's method
Chapter 5. Preliminaries to Löwenheim's Theorem
5.1 Indices and elements
5.2 Types of indices
5.4 Types ...