< Prädikatenlogik < Strukturen < Elementar äquivalent
Elementar äquivalent

Zwei -Strukturen und über einem erststufigen Symbolalphabet heißen elementar äquivalent, wenn jeder -Satz, der in gilt, auch in gilt.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.