We present a generalization of a theorem of Krasner showing how to construct relations invariant by automorphisms of a first order structure, by means of suitable set-theoretical operations.
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.