more from Robert S. Wolf

Single Idea 13537

[catalogued under 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


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]