back to ideas for this text


Single Idea 13537

[from 'A Tour through Mathematical Logic' by Robert S. Wolf, in 5. Theory of Logic / J. Model Theory in Logic / 2. Isomorphisms ]

Full Idea

An 'isomorphism' is a bijection between two sets that preserves all structural components. The interpretations of each constant symbol are mapped across, and functions map the relation and function symbols.

Gist of Idea

An 'isomorphism' is a bijection that preserves all structural components

Source

Robert S. Wolf (A Tour through Mathematical Logic [2005], 5.4)

Book Reference

Wolf,Robert S.: 'A Tour Through Mathematical Logic' [Carus Maths Monographs 2005], p.181


Related Idea

Idea 10079 A 'bijective' function has one-to-one correspondence in both directions [Smith,P]