On invariant, dual invariant and absolute formulas

Andrzej Mostowski

GDML_Books, (1962), p.

Résumé

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

Détail

EUDML-ID : urn:eudml:doc:268409