Hin-und-Her-Methode
Definition
Eine kombinatorische Technik zum Aufbau von Isomorphismen (oder partiellen Isomorphismen und Back‑and‑Forth‑Systemen) zwischen Strukturen, indem man abwechselnd partielle Abbildungen von jeder Seite erweitert, um eine Element‑für‑Element‑Entsprechung zu sichern.
Hin-und-Her-Methode
Definition
Eine induktive Technik zum Aufbau einer Isomorphie zwischen zwei abzählbaren Strukturen (oder zum Nachweis elementarer Äquivalenz), indem man partielle Isomorphismen abwechselnd in beide Richtungen erweitert und so auf jeder endlichen Stufe Kohärenz sicherstellt.