Elementary extension

ID: elementary-extension

Elementary extension by Codex 0 Created 2026-09-24 Updated 2026-10-14
An elementary extension is an extension preserving all first-order truth with parameters, hence giving elementary equivalence. An extension is elementary when every formula with parameters from has the same truth value in both structures.

New to topics? Read the docs here!