Książka - szczegóły

CONTENTS
Introduction..............................................................................................................................................................3
1. Lemmas concerning first order formulas.....................................................................................................5
2. Representability of recursively enumerable sets........................................................................................9
3. Simple theory of types.......................................................................................................................................10
4. Formalization of the satisfaction relation.......................................................................................................12
5. Formulas $\mathfrak{M}$ and $\mathfrak{N}$.............................................................................................17
6. A characterization of conditions expressed by invariant, dual invariant and absolute formulas.........20
7. The space of models.........................................................................................................................................23
8. A generalization of the results of section 6....................................................................................................32
Bibliography..............................................................................................................................................................37