×

Reconstruction d’une S-expansion. (English) Zbl 0536.04004

R. Fraïssé [Sympos. math., Roma 5, Teoria Modelli, Nov. 1969, Geometria, Apr. 1970, 203-251 (1971; Zbl 0211.018)] hatte folgende Frage gestellt: Wenn zwei n-stellige Relationen auf derselben endlichen Menge M definiert sind und wenn alle ihre echten Einschränkungen isomorph sind, sind sie dann auch selbst isomorph, wenn M genügend viele Elemente enthält? Für \(n\geq 3\) wurde diese Frage negativ beantwortet von M. Pouzet [J. Comb. Theory, Ser. B 26, 22-34 (1979; Zbl 0322.04002)]. Wie Verf. in einer früheren Arbeit ausführte [C. R. Acad. Sci. Paris, Sér. A 281, 593-595 (1975; Zbl 0322.04003)], gibt es gewisse Relationsklassen, in denen sie zu bejahen ist. In dieser Arbeit wird nun ein Beispiel zur Rekonstruktion von Relationen gegeben, das aus einer Relationsklasse stammt, die von M. Pouzet [Diss. Math. 193 (1981; Zbl 0521.04001)] gegeben wurde. Es soll die Technik des Rekonstruierens demonstrieren und zur Charakterisierung der rekonstruierbaren Relationen beitragen.
Reviewer: E.Harzheim

MSC:

03E20 Other classical set theory (including functions, relations, and set algebra)
05C60 Isomorphism problems in graph theory (reconstruction conjecture, etc.) and homomorphisms (subgraph embedding, etc.)
Full Text: DOI