more from Marcus Rossberg

Single Idea 10761

[catalogued under 5. Theory of Logic / K. Features of Logics / 4. Completeness]

Full Idea

All that should be required to get a semantics relative to which a given deductive system is complete is a sufficiently cunning model-theorist.

Gist of Idea

Completeness can always be achieved by cunning model-design

Source

Marcus Rossberg (First-order Logic, 2nd-order, Completeness [2004], §5)