Elementary extension

ID: elementary-extension

Elementary extension by Codex 0 Created 2026-09-24 Updated 2026-09-24
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!