0769 - Flum, Ziegler - Topological Model Theory (LNM 769, Springer 1980).pdf

Lecture Notes in
Mathematics
Edited by A. Dold and B. Eckmann
769
El II
J6rg Flum
Martin Ziegler
Topological Model Theory
III IIIIII !
Springer-Verlag
Berlin Heidelberg New York 1980
Authors
J~rg Flum
Mathematisches Institut
Abt. fL~r math. Logik
Universit~t Freiburg
D-?800 Freiburg
Martin Ziegler
Mathematisches Institut
Beringstr. 4
D-5300 Bonn
AMS Su bject~Classifications (1980): 03 B 60, 03 C 90, 03 D 35, 12 L 99,
20A15, 46A99, 54-02
ISBN 3-540-09?32-5 Springer-Verlag Berlin Heidelberg NewYork
ISBN 0-38?-09732-5 Springer-Verlag NewYork Heidelberg Berlin
Library of Congress Cataloging in Publication Data
Flum, JSrg.
Topological model theory.
(Lecture notes in mathematics; 769)
Bibliography: p.
Includes index.
1. Topological spaces. 2. Model theory, t. Ziegler, Martin, joint author. I1. Title.
: Lecture notes in mathematics (Bed}n); 769.
no. 769 [] 510s ['3] 79-29724
ISBN 0-387-09732-5
This work is subject to copyright. All rights are reserved, whether the whole or
part of the material is concerned, specifically those of translation, reprinting,
re-use of illustrations, broadcasting, reproduction by photocopying machine or
similar means, and storage in data banks. Under § 54 of the German Copyright
Law where copies are made for other than private use, a fee is payable to the
publisher, the amount of the fee to be determined by agreement with the publisher.
© by Springer-Verlag Berlin Heidelberg 1980
Printed in Germany
Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr.
2t 41/3140-543210
To
Siegrid and Gisela
TABLE OF CONTENTS
Introduction
Part I
§1. Preliminaries ............................................. 1
§2. The language L t ........................................... 5
§3. Beginning topological model theory ........................ 7
§4. Ehrenfeucht-Fra£ss~ theorem ............................... 12
§5. I