On invariant, dual invariant and absolute formulas
Andrzej Mostowski
Similarity:
CONTENTS Introduction..............................................................................................................................................................3 1. Lemmas concerning first order formulas.....................................................................................................5 2. Representability of recursively enumerable sets........................................................................................9 3. Simple theory of types.......................................................................................................................................10...